mathlib3
32a432cc - feat(topology/separation): add `t0_space.of_cover` (#15982)

Commit

3 years ago

feat(topology/separation): add `t0_space.of_cover` (#15982) Also use it in `algebraic_geometry.properties`.

Author

urkud

Parents