search

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.07k stars 241 forks source link

Duplicated content #270

Closed Zhang-Shuyu closed 3 years ago

Zhang-Shuyu commented 3 years ago

This line appears twice consecutively here and in example 2.17 right after here.

https://github.com/OpenLogicProject/OpenLogic/blob/9942b541e087b4446d9d6405dc788ebc6edf39fe/content/sets-functions-relations/relations/orders.tex#L37

rzach commented 3 years ago

Thanks!