Theorem Multiset.map_add_left_Icc

Modification history