Theorem Finsupp.support_mapRange

Modification history