`OAI/Geometry/Anticanonical/`

375 declarations, 0 contain sorry, 0 declared as axioms; 10 files

Files

BranchedQuotient.lean 204 declarations
CanonicalBundle.lean 17 declarations
CompactSections.lean 9 declarations
DeckRecovery.lean 12 declarations
DeletedFaces.lean 68 declarations
HilbertEstimates.lean 8 declarations
Liouville.lean 4 declarations
Product.lean 22 declarations
SectionFamilies.lean 3 declarations
Transport.lean 28 declarations