Theorem Set.diff_diff_right_self

Modification history