Theorem Set.indicator_prod_one

Modification history