Theorem AlgebraicGeometry.ΓSpec.adjunction_counit_app'

Modification history