Theorem Multiset.sections_cons

Modification history