Def setFintype

Modification history