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

opEquiv_functor_obj_op_right

Mathlib.CategoryTheory.Join.Opposites

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Join.opEquiv_functor_obj_op_right

← MathLib Explorer