Commit 2024-10-02 19:31 bb7a4043
View on Github →feat(AlgebraicGeometry/Tilde): add the map from M localising at x to the stalk of M^~ at x (#14809)
This contribution was created as part of the AIM workshop "Formalizing algebraic geometry" in
June 2024.