Theorem DFinsupp.equivFunOnFintype_symm_coe

Modification history