Theorem Multiset.sections_zero

Modification history