Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-12-07 08:32 4f785b62

View on Github ā†’

feat(algebraic_geometry/Spec): (fāˆ— š’Ŗā‚›)ā‚š is just the localization Sā‚š for affine f : Spec S āŸ¶ Spec R (#17471)

Estimated changes