Theorem isTopologicalGroup_sInf

Modification history

2026-08-25 11:58

Mathlib/Topology/Algebra/Group/Basic.lean

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

Added isTopologicalGroup_sInf View on Github →