mathlib3
feat(tactic/clear_except): clear most of the assumptions in context
#957
Merged
Merged
Commits
-
cipher1024 committed 7 years ago
