2 ms·Wait, what? Are you sure you typed the right title?by xfax 10y agoWait, what? Are you sure you typed the right title?caretStick 10y agohttps://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/