Theorem CategoryTheory.eqToHom_refl

Modification history

2025-10-02 17:25
Mathlib/CategoryTheory/EqToHom.lean
feat(CategoryTheory/Bicategory): EqToHom for bicategories (#28242) …
Modified CategoryTheory.eqToHom_reflView on Github →
2023-02-11 14:45
Mathlib/CategoryTheory/EqToHom.lean
feat port/CategoryTheory.EqToHom (#2207)
Added CategoryTheory.eqToHom_reflView on Github →