(2steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc

At: rem self 1
1. n:
|0| < |n|
By:
Unfold `absval` 0
THEN
Reduce 0
THEN
SplitOnConclITE
Generated subgoals:

None

About:
natural_numberless_than

(2steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc