Theorem Multiset.Ico_subset_Ico_iff

Modification history