OAI/AlgebraicGeometry/LogKodaira/LocalCanonical.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.ReverseLogKodaira.LocalCanonical.Canonical line 17
2. abbrev OAI.ReverseLogKodaira.LocalCanonical.Pluricanonical line 18
3. def OAI.ReverseLogKodaira.LocalCanonical.alternatingRestriction line 21
4. def OAI.ReverseLogKodaira.LocalCanonical.exteriorPullback line 27
5. def OAI.ReverseLogKodaira.LocalCanonical.pluricanonicalPullback line 32
6. lemma OAI.ReverseLogKodaira.LocalCanonical.span_wedges line 37
7. lemma OAI.ReverseLogKodaira.LocalCanonical.exteriorPullback_wedge line 54
8. theorem OAI.ReverseLogKodaira.LocalCanonical.range_pluricanonicalPullback line 64