Theorem IntermediateField.le_sup_toSubalgebra

Modification history

2023-06-08 11:30

Mathlib/FieldTheory/Adjoin.lean

feat: port FieldTheory.Adjoin (#4723)

Added IntermediateField.le_sup_toSubalgebra View on Github →