# Kerodon

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

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