ProdSigma
📁 Source: Mathlib/Data/List/ProdSigma.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 10 | |
| Total | 10 |
List
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
length_product 📖 | mathematical | — | SProd.sprodinstSProd | — | — |
mem_map_swap 📖 | — | — | — | — | — |
mem_product 📖 | mathematical | — | SProd.sprodinstSProd | — | — |
mem_sigma 📖 | — | — | — | — | — |
nil_product 📖 | mathematical | — | SProd.sprodinstSProd | — | — |
nil_sigma 📖 | — | — | — | — | — |
product_cons 📖 | mathematical | — | SProd.sprodinstSProd | — | — |
product_nil 📖 | mathematical | — | SProd.sprodinstSProd | — | — |
sigma_cons 📖 | — | — | — | — | — |
sigma_nil 📖 | — | — | — | — | — |
---