Theorem RootPairing.pairing_eq_add_of_root_eq_add

Modification history