Linear extension (source code)

= Linear extension
{wiki=Linear_extension}