Documentation
DerivedAlgGeo
.
CategoryTheory
.
Triangulated
.
StabilityCondition
.
Weak
.
Tilting
.
Source
Search
return to top
source
Imports
Init
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.Weak.Tilting.Source.Charge
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.Weak.Tilting.Source.Support
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.Weak.Tilting.Source.Theorems
Imported by
Source-facing weak tilting theorems
#