mathlib3

d904c8d2 - chore(algebra/ring/prod): add missing `prod.distrib` instance (#7069)