Theorem RootPairing.smul_coroot_eq_of_root_eq_smul

Modification history