Theorem Set.insert_comm

Modification history