Documentation

LeanPool.Stafford38.Stafford38.Characteristic.BaseLocalizedKoszulPositivity

Imports

Init
LeanPool.Stafford38.AlgebraicAnalysis.Module.BaseLocalizedKoszulPositivity
LeanPool.Stafford38.Stafford38.Characteristic.BaseLocalizationModuleComparison
LeanPool.Stafford38.Stafford38.Characteristic.LocalizedKernelCokernelEquivalences
LeanPool.Stafford38.Stafford38.Characteristic.LocalizedMinimalSupportAvoidance
LeanPool.Stafford38.Stafford38.Characteristic.MinimalSupportKernelCokernelLengths
LeanPool.Stafford38.Stafford38.Characteristic.PrincipalKoszulMinimalSupportPositivity

Imported by

Compatibility exports for Koszul positivity after base localization from the shared algebraic-analysis library.