Theorem Set.diff_singleton_eq_self

Modification history