Theorem Fintype.isPrimePow_card_of_field

Modification history

2023-06-21 15:20
Mathlib/FieldTheory/Cardinality.lean
feat: port FieldTheory.Cardinality (#5345)
Added Fintype.isPrimePow_card_of_fieldView on Github →