Theorem Set.diff_insert_of_notMem

Modification history