Theorem Multiset.card_sections

Modification history