Documentation
DerivedAlgGeo
.
Algebra
.
MvPolynomial
.
Cech
Search
return to top
source
Imports
Init
DerivedAlgGeo.Algebra.MvPolynomial.Cech.Basic
DerivedAlgGeo.Algebra.MvPolynomial.Cech.Finite
DerivedAlgGeo.Algebra.MvPolynomial.Cech.Homotopy
DerivedAlgGeo.Algebra.MvPolynomial.Cech.Primitive
Imported by
Variable Čech algebra for multivariate polynomial modules
#