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

opEquiv_inverse_obj_right_op

Mathlib.CategoryTheory.Join.Opposites

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

← MathLib Explorer