Theorem AlgebraicGeometry.Proj.stalkIso'_germ

Modification history

2024-10-10 07:55

Mathlib/AlgebraicGeometry/ProjectiveSpectrum/StructureSheaf.lean

refactor(Topology/Sheaves): Unbundle `germ`. (#15314)

Modified AlgebraicGeometry.Proj.stalkIso'_germ View on Github →

2024-05-18 18:12

Mathlib/AlgebraicGeometry/ProjectiveSpectrum/StructureSheaf.lean

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

Added AlgebraicGeometry.Proj.stalkIso'_germ View on Github →