Def CategoryTheory.Bicategory.eqToHomTransIso

Modification history

2025-10-02 17:25

Mathlib/CategoryTheory/Bicategory/EqToHom.lean

feat(CategoryTheory/Bicategory): EqToHom for bicategories (#28242) …

Added CategoryTheory.Bicategory.eqToHomTransIso View on Github →