Theorem Finsupp.mapRange.linearEquiv_toAddEquiv

Modification history