functor

Mathlib.Control.Functor

URI: https://scilib.ai/kg/mathlib#Functor.Comp.functor

Lean4

instance functor : Functor (Comp F G) where map := @Comp.map F G _ _

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru