Theorem AlgebraicGeometry.SheafedSpace.isColimit_exists_rep

Modification history

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