Theorem QuadraticForm.associated_isOrtho

Modification history