Commit 2022-08-03 08:16 078cd612

feat(data/seq/seq): improve cons and tail def-eqs (#15829) We sidestep the equation compiler for better definitional equalities.

modified def seq.cons

modified def seq.tail