Theorem AlgebraicGeometry.SheafedSpace.colimit_exists_rep

Modification history