Theorem IntermediateField.exists_finset_of_mem_supr''

Modification history

2023-08-10 19:52

Mathlib/FieldTheory/Adjoin.lean

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

Modified IntermediateField.exists_finset_of_mem_supr''View on Github →

2023-06-08 11:30

Mathlib/FieldTheory/Adjoin.lean

feat: port FieldTheory.Adjoin (#4723)

Added IntermediateField.exists_finset_of_mem_supr''View on Github →