Skip to content

[Merged by Bors] - feat(CategoryTheory/Sites): categories of sheaves are Grothendieck abelian - #19986

Closed
joelriou wants to merge 59 commits into
masterfrom
sheaf-grothendieck-abelian
Closed

[Merged by Bors] - feat(CategoryTheory/Sites): categories of sheaves are Grothendieck abelian#19986
joelriou wants to merge 59 commits into
masterfrom
sheaf-grothendieck-abelian

Update Mathlib/CategoryTheory/Abelian/GrothendieckAxioms/Sheaf.lean

4b0a487
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs