Theorem Multiset.map_strictMono

Modification history