Theorem Finsupp.mapRange.linearMap_apply

Modification history