fin Base information: Denotation: "" Root: Root Language: Type: free Reference Link Word sums: Fin + -> fin