chore(Data/Seq/Computation): golf using grind#41611

SnirBroshi wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

SnirBroshi:golf/data-seq-computationSnirBroshi/mathlib4:golf/data-seq-computationCopy head branch name to clipboard