Mathlib v3 is deprecated. Go to Mathlib v4

Def algebraic_geometry.Spec.structure_sheaf

Modification history

2022-03-23 20:36

src/algebraic_geometry/structure_sheaf.lean

refactor(algebraic_geometry/*): rename structure sheaf to `Spec.structure_sheaf` (#12785) …

Added algebraic_geometry.Spec.structure_sheaf View on Github →