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

At: div base case

a:, n:. a < n (a n) = 0
By: UnivCD
Generated subgoal:

11. a:
2. n:
3. a < n
(a n) = 0

About:
intnatural_numberdivideless_thanequalimpliesall

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