Theorem TopCat.Presheaf.IsSheaf.section_ext

Modification history

2025-02-12 14:43
Mathlib/Topology/Sheaves/Sheaf.lean
feat(AlgebraicGeometry): the kernel of a morphism (#21431)
Added TopCat.Presheaf.IsSheaf.section_extView on Github →