Theorem CategoryTheory.Bicategory.eqToHomTransIso_refl_refl

Modification history

2025-10-02 17:25
Mathlib/CategoryTheory/Bicategory/EqToHom.lean
feat(CategoryTheory/Bicategory): EqToHom for bicategories (#28242) …
Added CategoryTheory.Bicategory.eqToHomTransIso_refl_reflView on Github →