Def truncOfNonemptyFintype

Modification history