Theorem Multiset.map_hcongr

Modification history