Commit 2026-06-09 17:40 a0c9eb41
View on Github →feat(FieldTheory/Perfect): a field isomorphic to a perfect field is perfect (#40373) This PR proves that a field isomorphic to a perfect field is perfect.
feat(FieldTheory/Perfect): a field isomorphic to a perfect field is perfect (#40373) This PR proves that a field isomorphic to a perfect field is perfect.