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

At: rem gen base case 1 1 1 1
1. a:
2. n:

|a| < |n| a < n
By: RWH (LemmaC Thm* i:. |i| = i) 0
Generated subgoals:

None

About:
less_thanimplies

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