Def CategoryTheory.FreeBicategory.of

Modification history

2023-05-18 03:55

Mathlib/CategoryTheory/Bicategory/Free.lean

feat: port CategoryTheory.Bicategory.Free (#2482) …

Added CategoryTheory.FreeBicategory.of View on Github →