Theorem RootPairing.IsG2.card_base_support_eq_two

Modification history