Theorem is_closed_diagonal
Modification history
2020-06-24 06:13
src/topology/separation.lean
feat(uniform_space/separation): add separated_set (#3130) …
Modified is_closed_diagonalView on Github →2019-10-12 20:07
src/topology/constructions.lean
refactor(topology): mild reorganization (#1541) …
Modified is_closed_diagonalView on Github →