# Commit 2021-06-21 14:25 92263c0b

View on Github →refactor(algebraic_geometry/structure_sheaf): Enclose definitions in structure_sheaf namespace (#8010)
Moves some pretty generic names like `const`

and `to_open`

to the `structure_sheaf`

namespace.

Mathlib v3 is deprecated. Go to Mathlib v4

refactor(algebraic_geometry/structure_sheaf): Enclose definitions in structure_sheaf namespace (#8010)
Moves some pretty generic names like `const`

and `to_open`

to the `structure_sheaf`

namespace.