Theorem Set.insert_diff_singleton_comm

Modification history