Def CategoryTheory.eqToHom

Modification history

2025-10-02 17:25

Mathlib/CategoryTheory/EqToHom.lean

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

Modified CategoryTheory.eqToHom View on Github →

2023-02-11 14:45

Mathlib/CategoryTheory/EqToHom.lean

feat port/CategoryTheory.EqToHom (#2207)

Added CategoryTheory.eqToHom View on Github →