coqHow can I prove the injectivi

coq - How can I prove the injectivity of plus? - Stack Overflow
Here's what I'm trying to prove: Theorem add_n_injective : forall n m p, n + m = n + p ->
coqHow can I prove the injectivity of plusStack Overflow
admin9小时前
20