Theorem RootPairing.EmbeddedG2.shortAddLongRoot_eq

Modification history