Theorem Set.insert_diff_singleton

Modification history