Semistable reduction theorem (source code)

= Semistable reduction theorem
{wiki=Semistable_reduction_theorem}