Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
have added (here) a lead-in sentence to set the scene:
We discuss this for categories in homotopy type theory.
have replaced
The HoTT book
with
have intended the “Properties”-section (here) to be a subsection of the HoTT section
have changed the Lemma from a subsection to a Lemma-environment (now here)
changed *Proof:*
… $\square$
to \begin{proof}
…\end{proof}
added pointer to:
1 to 3 of 3