WhoCites Definitions GenAutomata Sections NuprlLIB Doc

Who Cites le?
leDef 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:
intless_thanmemberpropimpliesfalseall!abstraction

WhoCites Definitions GenAutomata Sections NuprlLIB Doc