Theorem Set.indicator_smul_apply_left

Modification history