Mathlib v3 is deprecated. Go to Mathlib v4

Def Top.presheaf.stalk_congr

Modification history

2022-12-07 08:32

src/topology/sheaves/stalks.lean

feat(src/algebraic_geometry/morphisms/open_immersion): New file (#17591)

Added Top.presheaf.stalk_congr View on Github →