Theorem Multiset.powersetLenAux_eq_map_coe

Modification history