OAI/AlgebraicGeometry/LogKodaira/
254 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- Adjunction.lean 15 declarations
- BaseChange.lean 13 declarations
- Basic.lean 70 declarations
- Blowup.lean 40 declarations
- BoundaryPullback.lean 4 declarations
- Descent.lean 8 declarations
- FiberCharts.lean 8 declarations
- FiberNegative.lean 3 declarations
- GlobalSpecialization.lean 11 declarations
- LatticeBaseChange.lean 11 declarations
- LocalCanonical.lean 8 declarations
- LogLattice.lean 8 declarations
- NonzeroFiber.lean 16 declarations
- RelativeCanonical.lean 14 declarations
- RootFactor.lean 2 declarations
- SmoothCharts.lean 6 declarations
- Specialization.lean 17 declarations