Theorem QuadraticForm.IsOrtho.zero_right

Modification history