Theorem IntermediateField.finiteDimensional_iSup_of_finset'

Modification history

2023-11-10 20:41

Mathlib/FieldTheory/Adjoin.lean

refactor: golf IntermediateField.Lifts (#8221) …

Modified IntermediateField.finiteDimensional_iSup_of_finset'View on Github →

2023-08-10 19:52

Mathlib/FieldTheory/Adjoin.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified IntermediateField.finiteDimensional_iSup_of_finset'View on Github →

2023-06-08 11:30

Mathlib/FieldTheory/Adjoin.lean

feat: port FieldTheory.Adjoin (#4723)

Added IntermediateField.finiteDimensional_iSup_of_finset'View on Github →