Theorem AdjoinRoot.isAdjoinRootMonic_root_eq_root

Modification history

2026-02-15 14:33
Mathlib/RingTheory/IsAdjoinRoot.lean
chore: remove declarations deprecated between 2021-02-15 and 2025-08-15 (#35335) …
Deleted AdjoinRoot.isAdjoinRootMonic_root_eq_rootView on Github →
2023-06-19 04:18
Mathlib/RingTheory/IsAdjoinRoot.lean
feat: port RingTheory.IsAdjoinRoot (#5190)
Added AdjoinRoot.isAdjoinRootMonic_root_eq_rootView on Github →