# Kerodon

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

Remark 3.1.2.2. The class of anodyne morphisms was introduced by Gabriel-Zisman in .