Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebraic_geometry.quasi_compact.affine_property_stable_under_base_change

Modification history

2022-10-24 07:29
src/algebraic_geometry/morphisms/quasi_compact.lean
feat(src/algebraic_geometry/morphisms/quasi_separated): Define quasi-separated morphisms. (#17080)
Added algebraic_geometry.quasi_compact.affine_property_stable_under_base_changeView on Github →