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

At: div rem unique 1 1 2 2 1 1 1 1 2 1
1. n:
2. x:
1|x|
By:
Unfold `absval` 0
THEN
SplitOnConclITE
Generated subgoals:

None

About:
natural_number

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