Theorem PerfectField.of_ringEquiv

Modification history

2026-06-09 17:40
Mathlib/FieldTheory/Perfect.lean
feat(FieldTheory/Perfect): a field isomorphic to a perfect field is perfect (#40373) …
Added PerfectField.of_ringEquivView on Github →