Theorem Set.mem_of_mem_coe

Modification history