Theorem Set.encard_diff_singleton_of_mem

Modification history