Theorem RootPairing.EmbeddedG2.card_index_eq_twelve

Modification history