Theorem Set.ssubset_iff_insert

Modification history