Theorem AlgebraicGeometry.germ_comp_stalkToFiberRingHom

Modification history

2024-10-10 07:55
Mathlib/AlgebraicGeometry/ProjectiveSpectrum/StructureSheaf.lean
refactor(Topology/Sheaves): Unbundle `germ`. (#15314)
Modified AlgebraicGeometry.germ_comp_stalkToFiberRingHomView on Github →
2023-07-07 04:14
Mathlib/AlgebraicGeometry/ProjectiveSpectrum/StructureSheaf.lean
feat: port AlgebraicGeometry.ProjectiveSpectrum.StructureSheaf (#5224)
Added AlgebraicGeometry.germ_comp_stalkToFiberRingHomView on Github →