Theorem Finsupp.mapRange.linearEquiv_refl

Modification history