Pi

📁 Source: Mathlib/Algebra/Order/Star/Pi.lean

Statistics

Metric	Count
Definitions	0
Theorems instStarOrderedRing	1
Total	1

Pi

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instStarOrderedRing 📖	mathematical	StarOrderedRing	nonUnitalSemiring partialOrder instStarRingForall	—	AddSubmonoid.closure_pi Set.mem_range star_zero MulZeroClass.mul_zero Set.ext

---

← Back to Index