Theorem RootPairing.coroot_eq_smul_coroot_iff

Modification history