Theorem RootPairing.root_coroot'_eq_pairing

Modification history