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

left_comparison

Mathlib.CategoryTheory.Monad.Adjunction

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Comonad.left_comparison

← MathLib Explorer