Theorem AffineMap.homothety_isOpenMap

Modification history

2025-09-16 17:10
Mathlib/Topology/Algebra/Affine.lean
chore(Topology/Algebra/Affine): generalize to `IsTopologicalAddTorsor` (#29616)
Modified AffineMap.homothety_isOpenMapView on Github →
2023-03-08 07:00
Mathlib/Topology/Algebra/Affine.lean
feat: port Topology.Algebra.Affine (#2693)
Added AffineMap.homothety_isOpenMapView on Github →