Who Cites le?
le	Def AB == B < A
	Thm* i,j:. ij Prop
not	Def A == A False
	Thm* A:Prop. (A) Prop

Syntax:

AB

has structure:

le(A; B)

About: