Theorem AffineMap.coe_homothetyHom

Modification history