Theorem RootPairing.IsG2.nonempty

Modification history