Minor changes in 1.8 based on Uppsala University reading group comments.#341

Open

johannesborgstrom wants to merge 2 commits intohmemcpy:masterfrom johannesborgstrom:master

+21-19

Commits on Nov 6, 2024

Update functoriality.tex
johannesborgstrom
authored

Commits on Nov 7, 2024

Merge pull request #1 from johannesborgstrom/uuReadingGroup-patch-1.8
johannesborgstrom
authored