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

op_leftTriple

Mathlib.CategoryTheory.Adjunction.Quadruple

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Adjunction.Quadruple.op_leftTriple

← MathLib Explorer