Theorem Set.diff_union_inter

Modification history