Theorem QuadraticMap.associated_isSymm

Modification history