Theorem AdjoinRoot.liftHom_eq_algHom

Modification history

2026-04-17 09:59
Mathlib/RingTheory/AdjoinRoot.lean
chore: remove declarations deprecated between 2021-04-15 and 2025-10-15 (#38057) …
Deleted AdjoinRoot.liftHom_eq_algHomView on Github →
2023-05-24 10:36
Mathlib/RingTheory/AdjoinRoot.lean
feat: port RingTheory.AdjoinRoot (#4271)
Added AdjoinRoot.liftHom_eq_algHomView on Github →