mathlib

4d811493 - chore(ring_theory/prod): move file to algebra/ring/prod (#3540)