# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$

Example 4.1.1.2. Any isomorphism of simplicial sets is both a left fibration and a right fibration.