OpenLogicProject/OpenLogic

Typo in the section on Non-Enumerability

cel7t opened this issue · 1 comments

cel7t commented

Typo location: https://www.github.com/OpenLogicProject/OpenLogic/tree/master/content%2Fsets-functions-relations%2Fsize-of-sets%2Fnon-enumerability.tex
Line 90-91

What is the typo: "...changing every 1 to a 0 and every 1 to a 0. "

Proposed correction: "...changing every 1 to a 0 and every 0 to a 1."

rzach commented

Thanks, sorry this took so long!