Theorem Set.insert_subset_insert

Modification history