Theorem Multiset.powersetCardAux_eq_map_coe

Modification history