小编Jon*_*Jon的帖子

我想证明以下内容:

1 subgoals
a : nat
b : nat
H0 : a + b = 0
______________________________________(1/1)
a = 0 /\ b = 0

它似乎很容易,甚至是微不足道的,但我不知道该怎么做.我试过了induction,case但没有成功.任何的想法 ？

谢谢你的帮助.