fix(tactic/instance_stub): extend the applicability of instance_stub (#612)
fix(tactic/instance_stub): extend the applicability of instance_stub (#612)


leanprover-community/mathlib,leanprover-community/mathlib