Commit 2026-02-17 19:29 6dc31c12

View on Github →

feat(AlgebraicGeometry): infinitesimal lifting criterion for formally unramified morphisms (#35397)

Estimated changes