Commit 2024-10-17 22:32 23a1a4bd

View on Github →

feat(AlgebraicGeometry): proper morphisms of schemes (#17863) We define proper morphisms of schemes and show standard stability properties. Partly from the valuative criterion project. Co-authored by: Andrew Yang

Estimated changes