Theorem AffineMap.homothety_eq_iff_of_mul_eq_one

Modification history

2026-03-02 21:29
Mathlib/LinearAlgebra/AffineSpace/AffineMap.lean
feat(LinearAlgebra/AffineSpace): iff lemma about the inverse of a homothety (#35837) …
Added AffineMap.homothety_eq_iff_of_mul_eq_oneView on Github →