Theorem Multiset.forall_mem_map_iff

Modification history