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

At: int mag well founded 1

WellFnd{i}(;x,y.x < y)
By: BackThru Thm* WellFnd{i}(;x,y.x < y)
Generated subgoals:

None

About:
less_than

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