Theorem Set.mem_of_mulIndicator_ne_one

Modification history