Def algebraic_geometry.structure_sheaf.global_sections_iso

Modification history

2022-12-07 18:26
src/algebraic_geometry/structure_sheaf.lean
feat(topology/algebra/uniform_ring): add dense_inducing.extend_hom (#17212) …
Modified algebraic_geometry.structure_sheaf.global_sections_isoView on Github →
2021-10-11 07:59
src/algebraic_geometry/structure_sheaf.lean
refactor(topology/sheaves/*): Make sheaf condition a Prop (#9607) …
Modified algebraic_geometry.structure_sheaf.global_sections_isoView on Github →
2021-10-01 12:27
src/algebraic_geometry/structure_sheaf.lean
feat(algebraic_geometry/*): Proved Spec ⋙ Γ ≅ 𝟭 (#9416) …
Added algebraic_geometry.structure_sheaf.global_sections_isoView on Github →