Def CategoryTheory.PreZeroHypercover.pullbackCoverOfLeftIsoPullback₁

Modification history

2025-11-27 10:43
Mathlib/CategoryTheory/Sites/Hypercover/Zero.lean
feat(CategoryTheory/Sites): cover of pullback from cover of left or right component (#31336) …
Added CategoryTheory.PreZeroHypercover.pullbackCoverOfLeftIsoPullback₁View on Github →