Theorem Multiset.bijective_iff_map_univ_eq_univ

Modification history