Definitions
int
2
Sections
StandardLIB
Doc
It is a bad idea to make these usual wf lemmas since often one mixes integer funs and nat funs.
(e.g.
n:
, i:{0...n}. -i+n
)
Sometime maybe should figure out systematic way of
dealing with
,
polymorphism
About:
Definitions
int
2
Sections
StandardLIB
Doc
n:
, i:{0...n}. -i+n 
polymorphism