Theorem QuadraticForm.polar_smul_right_of_tower

Modification history