Theorem CategoryTheory.GrothendieckTopology.isConservative_pointsBot

Modification history

2026-03-06 00:15
Mathlib/CategoryTheory/Sites/Point/Presheaf.lean
feat(CategoryTheory/Sites): points of presheaf toposes (#35201) …
Added CategoryTheory.GrothendieckTopology.isConservative_pointsBotView on Github →