Theorem CategoryTheory.PreZeroHypercover.inv_inv_h₀_comp_f

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.inv_inv_h₀_comp_fView on Github →