Theorem IntermediateField.mem_toSubalgebra

Modification history

2023-05-23 11:55

Mathlib/FieldTheory/IntermediateField.lean

feat: port FieldTheory.IntermediateField (#4258)

Added IntermediateField.mem_toSubalgebra View on Github →