Theorem AdjoinRoot.isAdjoinRootMonic_toAdjoinRoot

Modification history

2025-08-09 00:27
Mathlib/RingTheory/IsAdjoinRoot.lean
chore(RingTheory/IsAdjoinRoot): refactor IsAdjoinRoot (#27367) …
Added AdjoinRoot.isAdjoinRootMonic_toAdjoinRootView on Github →