Theorem QuadraticForm.IsOrtho.prod

Modification history