Theorem AlgebraicGeometry.Scheme.Γ_obj_op

Modification history