Beta

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

You have not earned access to this kata's solutions

Solutions are locked for kata ranked far above your rank. Rank up or complete this kata to view the solutions.