Def IntermediateField.Lifts

Modification history

2023-11-10 20:41

Mathlib/FieldTheory/Adjoin.lean

refactor: golf IntermediateField.Lifts (#8221) …

Deleted IntermediateField.Lifts View on Github →

2023-06-08 11:30

Mathlib/FieldTheory/Adjoin.lean

feat: port FieldTheory.Adjoin (#4723)

Added IntermediateField.Lifts View on Github →