Theorem IsModuleTopology.isTopologicalAddGroup

Modification history

2026-08-25 11:58
Mathlib/Topology/Algebra/Module/ModuleTopology.lean
chore: topologicalGroup -> isTopologicalGroup in names (#43027)
Added IsModuleTopology.isTopologicalAddGroupView on Github →