Theorem Multiset.map_cons

Modification history