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

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

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

None

About:
intless_than

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