Theorem Finsupp.equivFunOnFinite_symm_eq_sum

Modification history