Theorem RootPairing.rootForm_self_sum_of_squares

Modification history