Theorem IntermediateField.top_toSubalgebra

Modification history

2023-06-08 11:30

Mathlib/FieldTheory/Adjoin.lean

feat: port FieldTheory.Adjoin (#4723)

Added IntermediateField.top_toSubalgebra View on Github →