Theorem RootPairing.pairingIn_eq_add_of_root_eq_add

Modification history