chore: correct mistake in errata.tex

enklht · enklht · commit c881a86b654c · 2025-06-25T00:41:21.000+12:00
diff --git a/errata.tex b/errata.tex
@@ -479,10 +479,10 @@
   & merge of 367864df
   & To maintain consistency, one line was added at the end of the computation of the composite equivalence in the proof.
   %
-  %
-  \cref{}
+  \cref{thm:fiber-of-a-fibration}
   & merge of edb908a2
   & The type of $\proj{1}$ should be $(\sm{x:A}P(x))\to A$.
+  %
   % Chapter 5
   %
   \cref{sec:appetizer-univalence}

Original file line number	Diff line number	Diff line change
`@@ -479,10 +479,10 @@`
`479`	`479`	`& merge of 367864df`
`480`	`480`	`& To maintain consistency, one line was added at the end of the computation of the composite equivalence in the proof.`
`481`	`481`	`%`
`482`		`- %`
`483`		`- \cref{}`
	`482`	`+ \cref{thm:fiber-of-a-fibration}`
`484`	`483`	`& merge of edb908a2`
`485`	`484`	`& The type of $\proj{1}$ should be $(\sm{x:A}P(x))\to A$.`
	`485`	`+ %`
`486`	`486`	`% Chapter 5`
`487`	`487`	`%`
`488`	`488`	`\cref{sec:appetizer-univalence}`