Theorem RootPairing.exists_coroot_ne

Modification history