(7steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc

At: int lower well founded 1 1 1 1 1 1
1. n:
2. WellFnd{i}(;x,y.x < y)
3. WellFnd{i}({...n};x,y.y < x)

WellFnd{i}({...n};x,y.x > y)
By: Trivial
Generated subgoals:

None

About:
intless_than

(7steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc