Theorem RootPairing.iInf_ker_coroot'_eq

Modification history