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.

Estimated changes