Theorem Set.indicator_smul

Modification history