Theorem Multiset.card_strictMono

Modification history