mathlib3
bb97a64b - feat(topology/order): add `nhds_true` and `nhds_false` (#14082)

Commit

3 years ago

feat(topology/order): add `nhds_true` and `nhds_false` (#14082)

Author

urkud

urkud

Parents

Loading