Theorem Subring.mk_eq_zero

Modification history

2026-01-12 13:34
Mathlib/Algebra/Ring/Subring/Defs.lean
feat(Algebra): more `Module.IsTorsionFree` API (#33871) …
Added Subring.mk_eq_zeroView on Github →