Theorem RootPairing.isNotG2_iff

Modification history