Who Cites int lower?
int_lower	Def {...i} == {j:| ji }
	Thm* i:. {...i} Type
le	Def AB == B < A
	Thm* i,j:. (ij) Prop
not	Def A == A False
	Thm* A:Prop. (A) Prop

Syntax:

{...i}

has structure:

int_lower(i)

About: