Commit 2024-10-17 10:54 d951eef6

View on Github →

feat(AlgebraicGeometry): stability properties of separated (#17861) Separated is multiplicative, stable under base change and local at the target.

Estimated changes