Theorem Subring.integralClosure_subring_le_iff

Modification history

2025-12-15 10:15
Mathlib/RingTheory/IntegralClosure/IntegrallyClosed.lean
feat(Algebra): prerequisites for #31919 (#32118) …
Added Subring.integralClosure_subring_le_iffView on Github →