class 3¶ birational projective morphism¶ Lemmas¶ negativity lemma¶ Hironaka¶ Singularities¶ canonical divisor¶ discrepancy¶ pairs¶