Surface of general type (source code)

= Surface of general type
{wiki}

A smooth projective surface is of general type when its <Kodaira dimension> is two, equivalently when its canonical divisor is big.