Theorem RootPairing.pairing_smul_coroot_eq

Modification history