Theorem Set.diff_compl

Modification history