Theorem Multiset.mem_powerset

Modification history