Theorem ContinuousOn.sdiv

Modification history

2026-06-12 09:16
Mathlib/Topology/Algebra/Group/AddTorsor.lean
feat(Topology/Algebra): topological multiplicative torsors (#39130) …
Added ContinuousOn.sdivView on Github →