Theorem Set.insert_diff_subset

Modification history