Theorem RootPairing.root'_coroot_eq_pairing

Modification history