Theorem Multiset.erase_cons_head

Modification history