Theorem Multiset.choose_mem

Modification history