Documentation
DerivedAlgGeo
.
CategoryTheory
.
Triangulated
.
StabilityCondition
.
CentralCharge
.
Mukai
Search
return to top
source
Imports
Init
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.CentralCharge.Mukai.Charge
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.CentralCharge.Mukai.Chart
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.CentralCharge.Mukai.Orientation
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.CentralCharge.Mukai.Positivity
Imported by
The central charge of the exponential chart on the Mukai extension
#