Theorem Multiset.powersetCard_zero_left

Modification history