Theorem prod_indicator_const_apply

Modification history