Theorem Set.insert_eq_self

Modification history