Theorem Set.diff_subset_diff_right

Modification history