Theorem AlgebraicGeometry.Scheme.app_eq

Modification history

2024-07-23 21:13

Mathlib/AlgebraicGeometry/Scheme.lean

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

Modified AlgebraicGeometry.Scheme.app_eq View on Github →

2023-06-14 15:16

Mathlib/AlgebraicGeometry/Scheme.lean

feat: port AlgebraicGeometry.Scheme (#5040)

Added AlgebraicGeometry.Scheme.app_eq View on Github →