Castelnuovo's contraction theorem (source code)

= Castelnuovo's contraction theorem
{wiki=Castelnuovo's_contraction_theorem}

Castelnuovo's contraction theorem is a result in algebraic geometry, specifically dealing with the properties of smooth projective varieties. The theorem is part of the study of the behavior of certain types of morphisms between algebraic varieties, particularly in the context of contraction maps in the context of the minimal model program (MMP).