Theorem Submonoid.coe_finset_prod

Modification history