Theorem CategoryTheory.Precoverage.RespectsIso.of_forall_exists_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.RespectsIso.of_forall_exists_isoView on Github →