Theorem QuadraticForm.polar_zero_left

Modification history