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