Theorem CategoryTheory.Precoverage.ZeroHypercover.presieve₀_mem_of_iso

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.Precoverage.ZeroHypercover.presieve₀_mem_of_isoView on Github →