Theorem RootPairing.IsG2.span_eq_rootSpan_int

Modification history