mathlib

22a297ca - feat(algebra/module/prod,pi): instances for actions with zero (#8929)