Code

Fix Typos in categories.tex#1152

Code

Merged

mikeshulman merged 2 commits intoHoTT:masterHoTT/book:masterfrom niyoushanajmaei:fix-typosniyoushanajmaei/HoTT-book:fix-typosCopy head branch name to clipboardJan 11, 2024

+4-4

Commits

Commits on Jan 2, 2024

• Fix Typos in categories.tex

  niyoushanajmaei

  committed
  48626d2

  Copy full SHA for 48626d2

Commits on Jan 4, 2024

• more consistent punctuation

  niyoushanajmaei

  committed
  fd00fe5

  Copy full SHA for fd00fe5