Theorem Set.indicator_smul_const

Modification history