Theorem RootPairing.rootFormIn_self_smul_coroot

Modification history