Theorem IsIntegralClosure.isTorsionFree

Modification history

2026-01-12 13:34
Mathlib/RingTheory/IntegralClosure/IsIntegralClosure/Basic.lean
feat(Algebra): more `Module.IsTorsionFree` API (#33871) …
Added IsIntegralClosure.isTorsionFreeView on Github →