mathlib3
feat(tactic/clear_except): clear most of the assumptions in context
#957
Merged
Merged