Theorem QuadraticForm.polar_add_left

Modification history