Theorem DFinsupp.equivFunOnFintype_single

Modification history