Theorem Finsupp.mapRange.addEquiv_refl

Modification history