Theorem QuadraticForm.isOrtho_comm

Modification history