Theorem Submonoid.coe_list_prod

Modification history