Theorem Infinite.nonempty_field

Modification history

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