Mathlib v3 is deprecated. Go to Mathlib v4

Def Top.presheaf.pushforward_to_of_iso

Modification history

2021-12-03 07:10

src/topology/sheaves/presheaf.lean

feat(algebraic_geometry): Isomorphisms of presheafed space. (#10461)

Added Top.presheaf.pushforward_to_of_iso View on Github →