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

hasCoeToFun_Type

Mathlib.CategoryTheory.ConcreteCategory.Basic

URI: https://scilib.ai/kg/mathlib#CategoryTheory.ConcreteCategory.hasCoeToFun_Type

← MathLib Explorer