mathlib
21641075 - refactor(algebraic_geometry/structure_sheaf): Rename Spec.Top to prime_spectrum.Top (#7786)

Commit

4 years ago

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.

Author

justus-springer

Parents

2fd0ff48

mathlib 21641075 - refactor(algebraic_geometry/structure_sheaf): Rename Spec.Top to prime_spectrum.Top (#7786)

mathlib
21641075 - refactor(algebraic_geometry/structure_sheaf): Rename Spec.Top to prime_spectrum.Top (#7786)