Theorem AffineEquiv.coe_homothetyUnitsMulHom_eq_homothetyHom_coe

Modification history