Theorem RootPairing.isG2_iff

Modification history