Theorem AlgebraicGeometry.ΓSpec.unop_locallyRingedSpaceAdjunction_counit_app'

Modification history

2026-02-10 19:14
Mathlib/AlgebraicGeometry/GammaSpecAdjunction.lean
chore(AlgebraicGeometry): refactor `structureSheaf` (#35090) …
Added AlgebraicGeometry.ΓSpec.unop_locallyRingedSpaceAdjunction_counit_app'View on Github →