Commit 2024-09-14 02:37 5e8abb78
View on Github →feat(CategoryTheory/EqToHom): simp lemmas for heq + eqToHom (#16779)
Some basic lemmas for working with HEq in eqToHom composites.
Co-Authored-By: Emily Riehl eriehl@jhu.edu and Pietro Monticone 38562595+pitmonticone@users.noreply.github.com