Theorem Finsupp.range_total

Modification history