Theorem Finsupp.mapRange.linearEquiv_trans

Modification history