Def AlgebraicGeometry.AffineScheme.Spec

Modification history

2023-06-29 07:18

Mathlib/AlgebraicGeometry/AffineScheme.lean

feat: port AlgebraicGeometry.AffineScheme (#5394)

Added AlgebraicGeometry.AffineScheme.Spec View on Github →