Classification Of Log Smooth Curves

theorem