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

coneEquiv_functor_obj_π_app_star

Mathlib.CategoryTheory.WithTerminal.Cone

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

← MathLib Explorer