Theorem Finsupp.equivMapDomain_symm_apply

Modification history