Theorem AlgebraicGeometry.ΓSpec.locallyRingedSpaceAdjunction_unit

Modification history