Yes. The rules says 0' = 0. Yes. The rules says 0' = 0. So, this needs a special case. And the conjecture should mention the special case! :) Reply
Yes. The rules says 0' = 0. So, this needs a special case. And the conjecture should mention the special case! :)