Theorem Multiset.pairwise_disjoint_powersetCard

Modification history