Theorem FiniteField.isPrimePow_card

Modification history

2025-01-20 15:19
Mathlib/FieldTheory/Finite/Basic.lean
chore(Algebra/CharP): `prime_ringChar` and `isPrimePow_card` (#20860) …
Added FiniteField.isPrimePow_cardView on Github →