Theorem IntermediateField.lift_adjoin

Modification history

2023-11-10 09:13

Mathlib/FieldTheory/Adjoin.lean

feat(FieldTheory/PrimitiveElement): Steinitz Theorem (#7788) …

Added IntermediateField.lift_adjoin View on Github →