Documentation
Atlas
.
AlgebraicGeometryI
.
code
.
Lec13AffineQcohAlgebra
Search
return to top
source
Imports
Init
Mathlib.AlgebraicGeometry.AffineScheme
Mathlib.AlgebraicGeometry.Pullbacks
Mathlib.AlgebraicGeometry.QuasiAffine
Mathlib.CategoryTheory.Equivalence
Mathlib.AlgebraicGeometry.Morphisms.Affine
Mathlib.CategoryTheory.Adjunction.Basic
Imported by