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

mkHom_id_inverse

Mathlib.CategoryTheory.Equivalence

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Equivalence.mkHom_id_inverse

← MathLib Explorer