∫ Утверждение Mathlib

adjunction_counit_app'

Mathlib.AlgebraicGeometry.GammaSpecAdjunction

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.ΓSpec.adjunction_counit_app'

← MathLib Explorer