Theorem RootPairing.pairing_smul_root_eq

Modification history