Def AlgebraicGeometry.AffineScheme.of

Modification history

2023-06-29 07:18

Mathlib/AlgebraicGeometry/AffineScheme.lean

feat: port AlgebraicGeometry.AffineScheme (#5394)

Added AlgebraicGeometry.AffineScheme.of View on Github →