Theorem RootPairing.EmbeddedG2.threeShortAddTwoLongRoot_eq

Modification history