Mathlib v3 is deprecated. Go to Mathlib v4

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.

Estimated changes