Theorem Set.diff_empty

Modification history