4 lines
71 B
Text
4 lines
71 B
Text
(forall (a b) (+ a (succ b)) (succ (+ a b)))
|
|
(forall (a) (+ a 0) a)
|
|
|
(forall (a b) (+ a (succ b)) (succ (+ a b)))
|
|
(forall (a) (+ a 0) a)
|
|
|