Commit 2025-03-05 16:21 5bc3704a
View on Github →feat(Data/List/Chain): chain'_iff_forall_rel_of_append_cons_cons (#22513) Upstreamed from the EquationalTheories project.
feat(Data/List/Chain): chain'_iff_forall_rel_of_append_cons_cons (#22513) Upstreamed from the EquationalTheories project.