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

mk_functor

Mathlib.CategoryTheory.Monoidal.DayConvolution.DayFunctor

URI: https://scilib.ai/kg/mathlib#CategoryTheory.MonoidalCategory.DayFunctor.mk_functor

← MathLib Explorer