Def AlgebraicGeometry.Scheme.affineOpens

Modification history

2024-07-23 21:13

Mathlib/AlgebraicGeometry/AffineScheme.lean

refactor(AlgebraicGeometry): Introduce `Scheme.Opens`. (#15001) …

Modified AlgebraicGeometry.Scheme.affineOpens View on Github →

2023-06-29 07:18

Mathlib/AlgebraicGeometry/AffineScheme.lean

feat: port AlgebraicGeometry.AffineScheme (#5394)

Added AlgebraicGeometry.Scheme.affineOpens View on Github →