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

op_rightTriple

Mathlib.CategoryTheory.Adjunction.Quadruple

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

← MathLib Explorer