Theorem IsSubmonoid.finset_prod_mem

Modification history