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

ihom_adjunction_unit

Mathlib.CategoryTheory.Closed.Monoidal

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

← MathLib Explorer