Theorem RootPairing.pairing_smul_root_eq_of_not_linearIndependent

Modification history