Theorem prod_indicator_apply

Modification history