Theorem IsPurelyInseparable.tower_top

Modification history

2025-02-03 08:48

Mathlib/FieldTheory/PurelyInseparable.lean

refactor(FieldTheory): split `Mathlib.FieldTheory.Purelyinseparable` (#21343)

Modified IsPurelyInseparable.tower_top View on Github →

2024-02-06 18:38

Mathlib/FieldTheory/PurelyInseparable.lean

feat(FieldTheory/PurelyInseparable): definition and basic results of purely inseparable extensions (#9488) …

Added IsPurelyInseparable.tower_top View on Github →