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

ihom_adjunction_counit

Mathlib.CategoryTheory.Closed.Monoidal

URI: https://scilib.ai/kg/mathlib#CategoryTheory.ihom.ihom_adjunction_counit

← MathLib Explorer