Theorem AffineMap.coe_homothetyAffine

Modification history