Theorem Multiset.range_zero

Modification history