Theorem Set.indicator_smul_const_apply

Modification history