Theorem QuadraticForm.IsOrtho.zero_left

Modification history