[Merged by Bors] - chore(Data/Seq): address porting note in `terminates_parallel.aux` by golfing#30603

euprunin wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

euprunin:golf-cdxvieuprunin/mathlib4:golf-cdxviCopy head branch name to clipboard