Theorem QuadraticMap.coe_associatedHom

Modification history