Theorem RootPairing.corootForm_self_smul_root

Modification history