Theorem CategoryTheory.Presieve.isSheafFor_of_factorsThru

Modification history

2023-05-22 03:13
Mathlib/CategoryTheory/Sites/Coverage.lean
feat: Add CategoryTheory.Sites.Coverage (#4113) …
Added CategoryTheory.Presieve.isSheafFor_of_factorsThruView on Github →