Pi

📁 Source: Mathlib/Algebra/Module/Pi.lean

Statistics

Metric	Count
Definitions module'	1
Theorems pi	1
Total	2

IsSMulRegular

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
pi 📖	mathematical	IsSMulRegular	Pi.instSMul	—	—

Pi

Definitions

Name	Category	Theorems
module' 📖	CompOp	—

---

← Back to Index