Theorem TopologicalGroup.t2Space

Modification history

2023-09-07 05:43
Mathlib/Topology/Algebra/Group/Basic.lean
feat: add an instance for `T3Space` (#6861) …
Deleted TopologicalGroup.t2SpaceView on Github →
2023-04-06 22:39
Mathlib/Topology/Algebra/Group/Basic.lean
chore: Generalise instances (#3304) …
Modified TopologicalGroup.t2SpaceView on Github →
2023-02-21 20:43
Mathlib/Topology/Algebra/Group/Basic.lean
feat: port Topology.Algebra.Group.Basic (#2267)
Added TopologicalGroup.t2SpaceView on Github →