Commit 2024-10-23 19:07 d747c920

View on Github →

feat(AlgebraicGeometry): spreading out morphisms on stalks (#17987)

Estimated changes