MathMMP 2023-10-30 Source Edit History 3 Catalogue 1. class 31.1. birational projective morphism1.1.1. Lemmas1.1.2. negativity lemma1.1.3. Hironaka1.2. Singularities1.2.1. canonical divisor1.2.2. discrepancy1.2.3. pairs class 3birational projective morphismLemmasnegativity lemmaHironakaSingularitiescanonical divisordiscrepancypairs