Theorem RootPairing.pairing_eq_add_of_root_eq_smul_add_smul

Modification history