Theorem AlgebraicGeometry.LocallyRingedSpace.HasCoequalizer.imageBasicOpen_image_open

Modification history

2023-06-20 12:35
Mathlib/AlgebraicGeometry/LocallyRingedSpace/HasColimits.lean
feat: port AlgebraicGeometry.LocallyRingedSpace.HasColimits (#5260)
Added AlgebraicGeometry.LocallyRingedSpace.HasCoequalizer.imageBasicOpen_image_openView on Github →