mathlib documentation

algebraic_geometry.limits

(Co)Limits of Schemes #

We construct various limits and colimits in the category of schemes.

Todo #