Theorem AlgebraicGeometry.res_apply

Modification history

2024-05-18 18:12

Mathlib/AlgebraicGeometry/ProjectiveSpectrum/StructureSheaf.lean

chore(AlgebraicGeometry/ProjectiveSpectrum/Scheme): Tidy & golf (#12981)

Deleted AlgebraicGeometry.res_apply View on Github →

2023-07-07 04:14

Mathlib/AlgebraicGeometry/ProjectiveSpectrum/StructureSheaf.lean

feat: port AlgebraicGeometry.ProjectiveSpectrum.StructureSheaf (#5224)

Added AlgebraicGeometry.res_apply View on Github →