All.lean
Nyll.SchemeTheory.Cohomology.Cech.All
0 declarations indexed from sourceView source ↗
Module documentation
General scheme-theoretic foundations and their direct child modules.
Imports31
- Nyll.SchemeTheory.Cohomology.Cech.OModulePresheaf_cechFinite_iff_of_cochain_equiv
- Nyll.SchemeTheory.Cohomology.Cech.OModulePresheaf_cechFinite_of_affSES_left
- Nyll.SchemeTheory.Cohomology.Cech.OModulePresheaf_cechFinite_of_affSES_mid
- Nyll.SchemeTheory.Cohomology.Cech.OModulePresheaf_cechFinite_of_affSES_right
- Nyll.SchemeTheory.Cohomology.Cech.OModulePresheaf_cechFinite_of_forall_cechFinite_idealPowQuot
- Nyll.SchemeTheory.Cohomology.Cech.OModulePresheaf_cechFinite_of_forall_integral
- Nyll.SchemeTheory.Cohomology.Cech.OModulePresheaf_cechFinite_of_isProper
- Nyll.SchemeTheory.Cohomology.Cech.OModulePresheaf_cechFinite_preimage_of_ih
- Nyll.SchemeTheory.Cohomology.Cech.OModulePresheaf_cechFinite_pushforward_iff
- Nyll.SchemeTheory.Cohomology.Cech.OModulePresheaf_cechFinite_pushforward_of_isIntegral_of_ih
- Nyll.SchemeTheory.Cohomology.Cech.OModulePresheaf_cechFinite_unit_of_isClosedImmersion_proj
- Nyll.SchemeTheory.Cohomology.Cech.OModulePresheaf_cechFinite_unit_of_isIntegral_of_ih
- Nyll.SchemeTheory.Cohomology.Cech.OrderedAffineCoverCech
- Nyll.SchemeTheory.Cohomology.Cech.OrderedAffineCoverOf
- Nyll.SchemeTheory.Cohomology.Cech.ProjSpaceCechGradedModule
- Nyll.SchemeTheory.Cohomology.Cech.ProjSpaceCechTwist
- Nyll.SchemeTheory.Cohomology.Cech.ProjSpaceCech_GradedModule_Presentation_finite_H_of_ses
- Nyll.SchemeTheory.Cohomology.Cech.ProjSpaceCech_GradedModule_Presentation_ker_isFG
- Nyll.SchemeTheory.Cohomology.Cech.ProjSpaceCech_GradedModule_d_sq
- Nyll.SchemeTheory.Cohomology.Cech.ProjSpaceCech_GradedModule_finite_cohomology_FD
- Nyll.SchemeTheory.Cohomology.Cech.ProjSpaceCech_GradedModule_finite_cohomology_of_isFG
- Nyll.SchemeTheory.Cohomology.Cech.ProjSpaceCech_GradedModule_finite_cohomology_pi_FD
- Nyll.SchemeTheory.Cohomology.Cech.ProjSpaceCech_GradedModule_nonempty_HEquiv_FD
- Nyll.SchemeTheory.Cohomology.Cech.ProjSpaceCech_GradedModule_nonempty_HEquiv_pi
- Nyll.SchemeTheory.Cohomology.Cech.ProjSpaceCech_Twist_d_sq
- Nyll.SchemeTheory.Cohomology.Cech.ProjSpaceCech_Twist_finite_cohomology
- Nyll.SchemeTheory.Cohomology.Cech.Scheme_OrderedAffineCoverOf_aug_injective
- Nyll.SchemeTheory.Cohomology.Cech.Scheme_OrderedAffineCoverOf_ker_d_succ_le_range_d_of_isAffineOpen
- Nyll.SchemeTheory.Cohomology.Cech.Scheme_OrderedAffineCoverOf_ker_d_zero_eq_range_aug
- Nyll.SchemeTheory.Cohomology.Cech.TwoAffineOpenCover
- Nyll.SchemeTheory.Cohomology.Cech.TwoChartCech
Imported by1
This module has no indexed declarations. Its imports and full source are available here.