Theorem Set.encard_diff_singleton_add_one

Modification history