Def subalgebraEquivIntermediateField

Modification history

2024-08-21 07:40

Mathlib/FieldTheory/IntermediateField/Algebraic.lean

chore: split FieldTheory/IntermediateField (#15692)

Modified subalgebraEquivIntermediateField View on Github →

2024-05-16 14:20

Mathlib/FieldTheory/IntermediateField.lean

refactor: Turn Algebra.IsAlgebraic and Algebra.IsIntegral into classes (#12761) …

Modified subalgebraEquivIntermediateField View on Github →

2023-05-23 11:55

Mathlib/FieldTheory/IntermediateField.lean

feat: port FieldTheory.IntermediateField (#4258)

Added subalgebraEquivIntermediateField View on Github →