Theorem Finsupp.mapRange.equiv_symm

Modification history