Theorem Multiset.toFinset_map

Modification history