Theorem AlgebraicGeometry.ΓSpec.adjunction_unit_map_basicOpen

Modification history