Mathlib v3 is deprecated. Go to Mathlib v4

Theorem t3_space.of_lift'_closure

Modification history

2022-09-20 05:26
src/topology/separation.lean
feat(topology/separation): define `regular_space` (#16360)
Deleted t3_space.of_lift'_closureView on Github →
2022-09-19 07:18
src/topology/separation.lean
refactor(topology/algebra/with_zero_topology): review API, golf (#16359) …
Added t3_space.of_lift'_closureView on Github →