Theorem Set.insert_idem

Modification history