Theorem Set.diff_subset_compl

Modification history