Def DFinsupp.equivFunOnFintype

Modification history