Theorem Multiset.pmap_congr

Modification history