Theorem Multiset.map_const

Modification history