Theorem IntermediateField.liftAlgEquiv_apply

Modification history

2024-12-01 09:31
Mathlib/FieldTheory/IntermediateField/Basic.lean
feat(FieldTheory/Galois): Lemmas of galois theory (#16979) …
Added IntermediateField.liftAlgEquiv_applyView on Github →