Theorem TopCat.Presheaf.exists_le_germ_eq

Modification history

2026-05-18 11:50
Mathlib/Topology/Sheaves/Stalks.lean
feat(Stalks): add `exists_le_germ_eq` (#39490) …
Added TopCat.Presheaf.exists_le_germ_eqView on Github →