Theorem RootPairing.EmbeddedG2.setOf_index_eq_univ

Modification history