Theorem Set.diff_inter_self

Modification history