mathlib

e3ad468b - feat(data/list/prod_monoid): add prod_eq_pow_card (#12473)