Theorem Finsupp.mapRange.linearEquiv_apply

Modification history