Pi

📁 Source: Mathlib/Algebra/BigOperators/Group/Finset/Pi.lean

Statistics

Metric	Count
Definitions	0
Theorems prod_univ_pi, sum_univ_pi	2
Total	2

Finset

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
prod_univ_pi 📖	mathematical	—	prod pi univ Fintype.piFinset	—	prod_nbij' mem_univ
sum_univ_pi 📖	mathematical	—	sum pi univ Fintype.piFinset	—	sum_nbij' mem_univ mem_pi forall_true_left Fintype.mem_piFinset

---

← Back to Index