Theorem Set.diff_eq_empty

Modification history