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

id_app

Mathlib.CategoryTheory.Functor.Category

URI: https://scilib.ai/kg/mathlib#CategoryTheory.NatTrans.id_app

← MathLib Explorer