mathlib

6ed79339 - feat(combinatorics/quiver/*) `cast` arrows and paths along equalities (#17617)

feat(combinatorics/quiver/*) `cast` arrows and paths along equalities (#17617) Authored-by: Antoine Labelle <antoinelab01@gmail.com> Co-authored-by: antoinelab01 <66086247+antoinelab01@users.noreply.github.com> Co-authored-by: Antoine Labelle <antoinelab01@gmail.com> Co-authored-by: Rémi Bottinelli <bottine@users.noreply.github.com>