Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebraic_geometry.PresheafedSpace.Γ_map_op

Modification history

2022-07-03 11:47
src/algebraic_geometry/presheafed_space.lean
refactor(category_theory): generalise universe levels in preservation statements (#15067) …
Modified algebraic_geometry.PresheafedSpace.Γ_map_opView on Github →
2020-09-13 08:21
src/algebraic_geometry/presheafed_space.lean
feat(algebraic_geometry/*): Gamma the global sections functor (#4126)
Added algebraic_geometry.PresheafedSpace.Γ_map_opView on Github →