Tags #AG/schemes Refs: #todo/add-references Links: DVR proper schemes flat scheme generic fiber special fiber simple normal crossings reduced divisor regular scheme semistable reduction Weakly semistable reduction