OAI/AlgebraicGeometry/RelativeTriviality/
342 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- AffinePullback.lean 14 declarations
- AffineSquare.lean 30 declarations
- BaseChange.lean 33 declarations
- Cech.lean 29 declarations
- CechBaseChange.lean 27 declarations
- Charts.lean 77 declarations
- Coordinates.lean 36 declarations
- FiniteSections.lean 10 declarations
- Frames.lean 16 declarations
- FreeCech.lean 8 declarations
- GlobalFunctions.lean 9 declarations
- IsomorphismLocus.lean 15 declarations
- LaurentCech.lean 5 declarations
- LocallyFree.lean 8 declarations
- ProjectiveLine.lean 8 declarations
- RelativeTriviality.lean 3 declarations
- ResidueIsomorphism.lean 14 declarations