Mathlib Changelog
v4
Changelog
About
Github
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 →