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.
feat(AlgebraicGeometry): stability properties of separated (#17861) Separated is multiplicative, stable under base change and local at the target.