Structure CategoryTheory.OplaxFunctor.PseudoCore

Modification history

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