chore(Algebra/Group/Submonoid): golf entire list_prod_mem and multiset_prod_mem (#28387)
list_prod_mem
multiset_prod_mem