Theorem GaloisField.splits_x_pow_card_sub_x

Modification history