Theorem Set.comp_mulIndicator_const

Modification history