Theorem RootPairing.pairingIn_eq_add_of_root_eq_smul_add_smul

Modification history