mathlib

cc06d538 - feat(algebra/big_operators): prod_ne_zero (#2863)