Theorem Set.injOn_insert

Modification history