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

coneEquiv_functor_obj_π_app_of

Mathlib.CategoryTheory.WithTerminal.Cone

URI: https://scilib.ai/kg/mathlib#CategoryTheory.WithTerminal.coneEquiv_functor_obj_π_app_of

← MathLib Explorer