Def CategoryTheory.FreeBicategory.lift

Modification history

2025-11-03 17:34
Mathlib/CategoryTheory/Bicategory/Free.lean
chore(Pseudofunctor): add notation of pseudofunctors (#31171) …
Modified CategoryTheory.FreeBicategory.liftView on Github →
2023-05-18 03:55
Mathlib/CategoryTheory/Bicategory/Free.lean
feat: port CategoryTheory.Bicategory.Free (#2482) …
Added CategoryTheory.FreeBicategory.liftView on Github →