Theorem Finsupp.mapRange.equiv_refl

Modification history