Theorem Multiset.map_set_pairwise

Modification history