# Commit 2021-06-02 04:57 21641075

View on Github →refactor(algebraic_geometry/structure_sheaf): Rename Spec.Top to prime_spectrum.Top (#7786)
Renames `Spec.Top`

to `prime_specturm.Top`

to free up the namespace for the Spec functor.

Mathlib v3 is deprecated. Go to Mathlib v4

refactor(algebraic_geometry/structure_sheaf): Rename Spec.Top to prime_spectrum.Top (#7786)
Renames `Spec.Top`

to `prime_specturm.Top`

to free up the namespace for the Spec functor.