Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-29 23:00 6a796d08

View on Github →

refactor(algebraic_geometry/structure_sheaf): Remove redundant isomorphism (#7410) Removes stalk_iso_Type, which is redundant since we also have structure_sheaf.stalk_iso, which is the same isomorphism in CommRing

Estimated changes