Theorem Multiset.map_finset_sup

Modification history