mathlib3
fec8ee4e - chore(topology/bases): rewrite 2 proofs using tactic mode (#5996)

Commit

5 years ago

chore(topology/bases): rewrite 2 proofs using tactic mode (#5996) IMHO they're more readable that way

Author

urkud

Parents