mathlib3
58632ac6 - feat(topology/order): discrete_topology_bot (#6163)

Commit

4 years ago

feat(topology/order): discrete_topology_bot (#6163) From `lean-liquid`

Author

jcommelin

jcommelin

Parents

Loading