Theorem QuadraticForm.polar_neg_left

Modification history