Theorem mem_subalgebraEquivIntermediateField
Modification history
2024-08-21 07:40
Mathlib/FieldTheory/IntermediateField/Algebraic.lean
chore: split FieldTheory/IntermediateField (#15692)
Modified mem_subalgebraEquivIntermediateFieldView on Github →