Theorem QuadraticForm.associated_isSymm

Modification history