2022-10-24 07:29
src/algebraic_geometry/morphisms/quasi_separated.lean
feat(src/algebraic_geometry/morphisms/quasi_separated): Define quasi-separated morphisms. (#17080)
Added algebraic_geometry.quasi_compact_affine_property_iff_quasi_separated_space