Theorem FiniteField.card_image_polynomial_eval

Modification history