Theorem RootPairing.rootForm_self_smul_coroot

Modification history