Theorem QuadraticForm.polar_neg

Modification history