mathlib3

c50c2c32 - docs(algebra/big_operators): correct documentation for prod (#10206)