Theorem CategoryTheory.conj_eqToHom_iff_heq

Modification history

2024-09-14 02:37
Mathlib/CategoryTheory/EqToHom.lean
feat(CategoryTheory/EqToHom): simp lemmas for heq + eqToHom (#16779) …
Added CategoryTheory.conj_eqToHom_iff_heqView on Github →