Theorem Multiset.cons_sub_of_le

Modification history