Theorem topologicalGroup_inf

Modification history

2026-08-25 11:58

Mathlib/Topology/Algebra/Group/Basic.lean

chore: topologicalGroup -> isTopologicalGroup in names (#43027)

Deleted topologicalGroup_inf View on Github →

2025-02-16 15:19

Mathlib/Topology/Algebra/Group/Basic.lean

chore: rename Topological(Semi)Ring -> IsTopological(Semi)Ring and Topological(Add)Group -> IsTopological(Add)Group (#21472)

Modified topologicalGroup_inf View on Github →

2023-02-21 20:43

Mathlib/Topology/Algebra/Group/Basic.lean

feat: port Topology.Algebra.Group.Basic (#2267)

Added topologicalGroup_inf View on Github →