Theorem RootPairing.EmbeddedG2.twoShortAddLongRoot_eq

Modification history