Prod

📁 Source: Mathlib/Algebra/Module/Torsion/Prod.lean

Statistics

Metric	Count
Definitions	0
Theorems moduleIsTorsionFree	1
Total	1

Prod

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
moduleIsTorsionFree 📖	mathematical	—	Module.IsTorsionFree instAddCommMonoid instModule	—	Function.Injective.prodMap IsRegular.isSMulRegular

---

← Back to Index