Theorem TopologicalGroup.t3Space

Modification history

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