Theorem RootPairing.EmbeddedG2.span_eq_top

Modification history