mathlib
93d17601 - chore(topology/bases): golf a proof (#6326)

Commit

5 years ago

chore(topology/bases): golf a proof (#6326) Also add some supporting lemmas

Author

urkud

urkud

Parents

Loading