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

Estimated changes