Theorem CategoryTheory.FreeBicategory.id_def

Modification history

2025-08-23 07:32
Mathlib/CategoryTheory/Bicategory/Free.lean
chore(CategoryTheory): process some porting notes (#28741) …
Added CategoryTheory.FreeBicategory.id_defView on Github →