Theorem FiniteField.X_pow_card_sub_X_natDegree_eq

Modification history