mathlib3
f9ee4166 - feat(topology/tactic): optionally make `continuity` verbose with `?` (#3962)
Commit
5 years ago