Theorem Set.insert_eq

Modification history