Theorem Set.compl_subset_compl

Modification history