Theorem Multiset.powersetLen_mono

Modification history