Loading N + 1 = suc N? Prove it about h-sets!

Beta

Loading N + 1 = suc N? Prove it about h-sets!

Beta

N + 1 = suc N? Prove it about h-sets!

Loading description...

Theorem Proving
Functional Programming
Your output will be shown here