mathlib3

fix(tactic/explode): more accurate may_be_proof

#924

Merged