Theorem Multiset.rel_cons_left

Modification history