Theorem Subsingleton.mem_iff_nonempty

Modification history