Theorem Multiset.filter_cons_of_pos

Modification history