Theorem Module.support_of_isTorsionFree

Modification history

2026-08-12 12:06

Mathlib/RingTheory/Support.lean

chore(Algebra): remove references to `NoZeroSMulDivisors` (#42166) …

Added Module.support_of_isTorsionFree View on Github →