Theorem IsTopologicalAddTorsor.to_isTopologicalAddGroup

Modification history

2025-09-15 09:41
Mathlib/Topology/Algebra/Group/AddTorsor.lean
feat: topological affine spaces (#28493) …
Added IsTopologicalAddTorsor.to_isTopologicalAddGroupView on Github →