All Questions

$\require{AMScd}$ Related to this, I have a question about the proof given in Kerodon of the following result: Proposition 7.3.7.1: Let $C$ be an $\infty$-category, let $\bar{F} : C^\rhd \to D$ be a ...