I know from classical category theory that if $C$ is a small category and $X$ is a presheaf, that there is a canonical equivalence $$Set^{C^{op}}/X \simeq Set^{\left(C/X\right)^{op}},$$ where $C/X$ is the category of elements of $X$ (i.e. the Grothendieck construction of $X$). Moreover, if $C$ carries a Grothendieck topology, this statement is true for sheaves, where $C/X$ inherits a canonical topology from $C$.


Can I make a similar statement if I go to infinity sheaves, and if so, does anyone have a reference? Thanks. If someone knows a way of proving this model theoretically, that would also be nice.



Slices of infinity sheaves
This is Corollary 5.1.6.12 in HTT. Somehow I overlooked this.


