Theorem Fintype.nonempty_field_iff

Modification history

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