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

coconeEquiv_functor_obj_ι_app_of

Mathlib.CategoryTheory.WithTerminal.Cone

URI: https://scilib.ai/kg/mathlib#CategoryTheory.WithInitial.coconeEquiv_functor_obj_ι_app_of

← MathLib Explorer