Def AlgebraicGeometry.AffineScheme.forgetToScheme

Modification history

2023-06-29 07:18

Mathlib/AlgebraicGeometry/AffineScheme.lean

feat: port AlgebraicGeometry.AffineScheme (#5394)

Added AlgebraicGeometry.AffineScheme.forgetToScheme View on Github →