Theorem Set.mem_range_mulIndicator

Modification history