Theorem RootPairing.EmbeddedG2.allRoots_nodup

Modification history