Theorem AffineMap.coe_homothety

Modification history

2025-09-16 17:10
Mathlib/LinearAlgebra/AffineSpace/AffineMap.lean
chore(Topology/Algebra/Affine): generalize to `IsTopologicalAddTorsor` (#29616)
Added AffineMap.coe_homothetyView on Github →