Theorem Multiset.cons_erase

Modification history