Def Homeomorph.smulConst

Modification history

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