Theorem Finsupp.mapRange.linearEquiv_toLinearMap

Modification history