Theorem AlgebraicGeometry.LocallyRingedSpace.toStalk_stalkMap_toΓSpec

Modification history

2023-06-27 00:20
Mathlib/AlgebraicGeometry/GammaSpecAdjunction.lean
chore: tidy various files (#5482)
Added AlgebraicGeometry.LocallyRingedSpace.toStalk_stalkMap_toΓSpecView on Github →