Fixed typo in definition of cumulative hierarchy

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

Closed pglutz closed 4 years ago

pglutz commented 4 years ago

The limit case of the definition of cumulative hierarchy had an alpha where there should have been a gamma.

rzach commented 4 years ago

Thanks!