Theorem RootPairing.not_isG2_iff_isNotG2

Modification history