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

opEquiv_functor_obj_op_left

Mathlib.CategoryTheory.Join.Opposites

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

← MathLib Explorer