Commit 2024-11-11 07:17 83b4d7d6

View on Github →

feat(AlgebraicGeometry): quasi-compact + specializing => closed map (#18032) Partially from the valuative criterion project

Estimated changes