Theorem CategoryTheory.FreeBicategory.liftHom₂_congr

Modification history

2023-05-18 03:55
Mathlib/CategoryTheory/Bicategory/Free.lean
feat: port CategoryTheory.Bicategory.Free (#2482) …
Added CategoryTheory.FreeBicategory.liftHom₂_congrView on Github →