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

coconeEquiv_functor_obj_ι_app_star

Mathlib.CategoryTheory.WithTerminal.Cone

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

← MathLib Explorer