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

functor_mk

Mathlib.CategoryTheory.Monoidal.DayConvolution.DayFunctor

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

← MathLib Explorer