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

At: int mag well founded 2
1. WellFnd{i}(;x,y.(x.|x|)(x) < (x.|x|)(y))

WellFnd{i}(;x,y.|x| < |y|)
By:
Reduce 1
THEN
Trivial
Generated subgoals:

None

About:
intless_thanlambdaapply

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