Theorem perfectField_of_isSeparable_of_perfectField_top
Modification history
2025-02-03 08:48
Mathlib/FieldTheory/PurelyInseparable.lean
refactor(FieldTheory): split `Mathlib.FieldTheory.Purelyinseparable` (#21343)
Modified perfectField_of_isSeparable_of_perfectField_topView on Github →