Theorem Ideal.mem_colon_singleton

Modification history