flip

Mathlib.Control.Bifunctor

URI: https://scilib.ai/kg/mathlib#Bifunctor.flip

Lean4

instance flip : Bifunctor (flip F) where bimap {_α α' _β β'} f f' x := (bimap f' f x : F β' α')

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

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

Разделы

Аффилиация

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