Theorem IntermediateField.lift_injective

Modification history

2024-02-07 22:10
Mathlib/FieldTheory/IntermediateField.lean
feat: Proof that `IntermediateField.lift` is injective (#10031) …
Added IntermediateField.lift_injectiveView on Github →