Theorem Finsupp.mapRange.equiv_trans

Modification history