Theorem AlgebraicGeometry.LocallyRingedSpace.toΓSpec_continuous

Modification history

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