Documentation

DerivedAlgGeo.AlgebraicGeometry.Morphisms

Scheme-morphism properties #

Neutral morphism properties used across algebraic geometry and downstream moduli constructions.