Theorem Set.indicator_const_smul

Modification history