Theorem RootPairing.EmbeddedG2.linearIndependent_short_long

Modification history