Commit 2022-03-23 20:36 84a438e2

View on Github →

refactor(algebraic_geometry/*): rename structure sheaf to Spec.structure_sheaf (#12785) Following this Zulip message, this pr renames structure_sheaf to Spec.structure_sheaf

Estimated changes

Modified src/algebraic_geometry/AffineScheme.lean

Modified src/algebraic_geometry/Gamma_Spec_adjunction.lean

Modified src/algebraic_geometry/Spec.lean

Modified src/algebraic_geometry/structure_sheaf.lean

added def algebraic_geometry.Spec.structure_sheaf

deleted def algebraic_geometry.structure_sheaf