Theorem Set.insert_ne_self

Modification history