Theorem AlgebraicGeometry.IsAffineOpen.isLocalization_stalk'

Modification history

2024-10-16 11:05

Mathlib/AlgebraicGeometry/AffineScheme.lean

refactor(AlgebraicGeometry): Make `Scheme.Hom` a structure. (#15093) …

Modified AlgebraicGeometry.IsAffineOpen.isLocalization_stalk'View on Github →

2024-06-22 15:35

Mathlib/AlgebraicGeometry/AffineScheme.lean

refactor(AlgebraicGeometry) Add notation `Γ(X, U)`. (#14025)

Modified AlgebraicGeometry.IsAffineOpen.isLocalization_stalk'View on Github →

2023-11-12 21:46

Mathlib/AlgebraicGeometry/AffineScheme.lean

perf(AlgebraicGeometry): Fix slow and bad proofs (#7747) …

Modified AlgebraicGeometry.IsAffineOpen.isLocalization_stalk'View on Github →

2023-06-29 07:18

Mathlib/AlgebraicGeometry/AffineScheme.lean

feat: port AlgebraicGeometry.AffineScheme (#5394)

Added AlgebraicGeometry.IsAffineOpen.isLocalization_stalk'View on Github →