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

opEquiv_inverse_obj_left_op

Mathlib.CategoryTheory.Join.Opposites

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

← MathLib Explorer