Errata for b212091, unmarked.

errata.tex

@@ -317,6 +317,10 @@
   & 87-g693e9b9
   & At the end of the proof, \autoref{thm:contr-paths} should be cited as the reason why $\sm{g:A\to A} (g = \idfunc[A])$ is contractible.\\
   %
+  \autoref{lem:func_retract_to_fiber_retract}
+  & % merge of b212091
+  & The path concatenations in the definitions of $\varphi_b$ and $\psi_b$ (and subsequent equations) are reversed, and each $f(a)$ in the next two displayed equations should be $g(a)$.\\
+  %
   \autoref{fibwise-fiber-total-fiber-equiv}
   & 202-g775a3f0
   & The last equivalence in the proof is not by~\eqref{eq:path-lump} but by \autoref{thm:omit-contr,thm:contr-paths,ex:sigma-assoc}.\\