Theorem Multiset.sections_add

Modification history