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

rightOp_leftOp_eq

Mathlib.CategoryTheory.Opposites

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Functor.rightOp_leftOp_eq

← MathLib Explorer