Structure CategoryTheory.OplaxFunctor

Modification history

2023-02-27 13:06
Mathlib/CategoryTheory/Bicategory/Functor.lean
feat: port CategoryTheory.Bicategory.Functor (#2301) …
Added CategoryTheory.OplaxFunctorView on Github →