Def IntermediateField.map

Modification history

2023-10-26 19:14

Mathlib/FieldTheory/IntermediateField.lean

chore(FieldTheory/IntermediateField): some lemmas about `toSubalgebra` (#7958)

Modified IntermediateField.map View on Github →

2023-05-23 11:55

Mathlib/FieldTheory/IntermediateField.lean

feat: port FieldTheory.IntermediateField (#4258)

Added IntermediateField.map View on Github →