Theorem Set.indicator_smul_left

Modification history