Theorem Set.inter_diff_self

Modification history