Theorem continuous_extend_from
Modification history
2022-09-20 05:26
src/topology/extend_from.lean
feat(topology/separation): define `regular_space` (#16360)
Modified continuous_extend_fromView on Github →2022-07-13 00:00
src/topology/extend_from.lean
refactor(topology/separation): rename `regular_space` to `t3_space` (#15169) …
Modified continuous_extend_fromView on Github →