Documentation
DerivedAlgGeo
.
Algebra
.
Homology
.
LeftResolution
Search
return to top
source
Imports
Init
DerivedAlgGeo.Algebra.Homology.LeftResolution.Augmented
DerivedAlgGeo.Algebra.Homology.LeftResolution.HomologyZero
Imported by
Left resolutions
#
Extensions of Mathlib's functorial left-resolution API.