Structures · Geometry
AlgebraicGeometry.IsArtinianScheme
A scheme is Artinian if it is locally Artinian and quasi-compact
- Defined in
- Mathlib.AlgebraicGeometry.Artinian
- Shape
- One type argument
Extends2
Extended by0
Nothing extends this class yet.
Forgetful instances
Every AlgebraicGeometry.IsArtinianScheme is also a
Concrete types that are instances2
- AlgebraicGeometry.Scheme.Hom.fiber
- AlgebraicGeometry.Spec
How is a type an instance?
Loading the hierarchy index…