Theorem Multiset.powersetAux_eq_map_coe

Modification history