Theorem AlgebraicGeometry.LocallyRingedSpace.HasCoequalizer.imageBasicOpen_image_preimage

Modification history

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