Commit 2026-10-20 14:09 df5a0c29
View on Github →chore(RingTheory/IntegralClosure/IsIntegralClosure/Basic): automated extraction from #28013 (#45086) This PR was automatically created from PR #28013 by @astrainfinita via a review comment by @ocfnash.