Def CategoryTheory.FreeBicategory.inclusion

Modification history

2023-05-28 08:49

Mathlib/CategoryTheory/Bicategory/Coherence.lean

feat: port/CategoryTheory.Bicategory.Coherence (#4062)

Added CategoryTheory.FreeBicategory.inclusion View on Github →