Theorem SubmonoidClass.coe_finset_prod

Modification history