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.
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.