mathlib3
c4760b97 - feat(algebra/big_operators/basic): prod/sum over an empty type (#9939)

Commit

4 years ago

feat(algebra/big_operators/basic): prod/sum over an empty type (#9939)

Author

urkud

urkud

Parents

Loading