Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-11-26 22:11
83d4f222
View on Github →
chore: add docs + alias for
prod_bijective
(
#8439
)
Estimated changes
Modified
Mathlib/Algebra/BigOperators/Basic.lean