Def AlgebraicGeometry.Scheme.toSpecΓ

Modification history

2024-10-03 17:44

Mathlib/AlgebraicGeometry/GammaSpecAdjunction.lean

refactor(AlgebraicGeometry): Introduce `Scheme.toSpecΓ` (#15082)

Added AlgebraicGeometry.Scheme.toSpecΓ View on Github →