[001L] Exercise 6.1.1·d.

Prove that a displayed category $E$ is a cartesian fibration over $B$ if and only if $\TotOpCat{E}$ is a cocartesian fibration over $\OpCat{B}$.