Theorem Finsupp.mapRange_neg

Modification history