Commit 2026-06-12 09:16 ec410d23
View on Github →feat(Topology/Algebra): topological multiplicative torsors (#39130)
Introduce a class IsTopologicalTorsor for topological torsors of multiplicative groups, as a multiplicative counterpart to the existing IsTopologicalAddTorsor for topological torsors of additive groups.