Theorem Set.ncard_diff_singleton_le

Modification history