Theorem QuadraticForm.toQuadraticForm_associated

Modification history