Theorem Fintype.prod_prod_type'

Modification history

2024-09-17 16:36
Mathlib/Data/Fintype/BigOperators.lean
chore: Make `Finset.prod_product` and `Fintype.prod_prod_type` more uniform (#16884) …
Modified Fintype.prod_prod_type'View on Github →
2023-10-27 13:10
Mathlib/Data/Fintype/BigOperators.lean
feat: Fintype.prod_prod_type (#7955)
Added Fintype.prod_prod_type'View on Github →