Theorem CategoryTheory.GrothendieckTopology.Point.toPresheafFiber_skyscraperPresheafHomEquiv_symm

Modification history

2026-02-27 15:40
Mathlib/CategoryTheory/Sites/Point/Skyscraper.lean
feat(CategoryTheory/Sites): skyscraper sheaves (#35719) …
Added CategoryTheory.GrothendieckTopology.Point.toPresheafFiber_skyscraperPresheafHomEquiv_symmView on Github →