Theorem RootPairing.EmbeddedG2.pairing_short_long

Modification history