Theorem Multiset.choose_property

Modification history