Def algebraic_geometry.quasi_separated.affine_property

Modification history

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_separated.affine_propertyView on Github →