Def CategoryTheory.PreZeroHypercover.restrictIndexHom

Modification history

2026-02-07 07:45

Mathlib/CategoryTheory/Sites/Hypercover/Zero.lean

feat(CategoryTheory/Sites): various API additions for #34917 (#34921)

Added CategoryTheory.PreZeroHypercover.restrictIndexHom View on Github →