Theorem Set.ssubset_insert

Modification history