Theorem Finsupp.total_equivMapDomain

Modification history