mathlib3

54f4b291 - feat(tactic/interactive.lean): clear_aux_decl