Theorem Multiset.map_const'

Modification history