Theorem Multiset.mem_powersetLen

Modification history