Structure IntermediateField.Lifts

Modification history

2024-01-11 20:30

Mathlib/FieldTheory/Adjoin.lean

chore: split IntermediateField.Lifts out of FieldTheory/Adjoin (#9647)

Modified IntermediateField.Lifts View on Github →

2023-11-10 20:41

Mathlib/FieldTheory/Adjoin.lean

refactor: golf IntermediateField.Lifts (#8221) …

Added IntermediateField.Lifts View on Github →