Sigma

📁 Source: Mathlib/Data/Finite/Sigma.lean

Statistics

Metric	Count
Definitions	0
Theorems instPSigma, instSigma	2
Total	2

Finite

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instPSigma 📖	mathematical	Finite	Finite	—	of_equiv instSigma instFinitePLift
instSigma 📖	mathematical	Finite	Finite	—	of_fintype

---

← Back to Index