Theorem RootPairing.EmbeddedG2.isOrthogonal_short_and_long

Modification history