Def Homeomorph.vaddConst

Modification history

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