Theorem Set.diff_eq_self

Modification history