Theorem FiniteField.cast_card_eq_zero

Modification history