Pi

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

Statistics

Metric	Count
Definitions	0
Theorems pi, pi'	2
Total	2

CharP

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
pi 📖	mathematical	—	CharP Pi.addMonoidWithOne AddCommMonoidWithOne.toAddMonoidWithOne NonAssocSemiring.toAddCommMonoidWithOne Semiring.toNonAssocSemiring	—	cast_eq_zero_iff map_natCast RingHom.instRingHomClass map_zero MonoidWithZeroHomClass.toZeroHomClass RingHomClass.toMonoidWithZeroHomClass
pi' 📖	mathematical	—	CharP Pi.addMonoidWithOne AddGroupWithOne.toAddMonoidWithOne Ring.toAddGroupWithOne CommRing.toRing	—	pi

---

← Back to Index