Theorem QuadraticForm.equivalent_sum_squares

Modification history