Kerodon

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

Remark 4.2.5.2. The notion of a fibration in groupoids was introduced by Grothendieck in (Exposé 6).