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

At: div base case 1 2
1. a:
2. n:
3. a < n

Div(a;n;0)
By:
Unfold `div_nrel` 0
THEN
Analyze 0
Generated subgoals:

None

About:
natural_numberless_than

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