Theorem Set.subset_insert

Modification history