refactor: move Std.Range to Std.Legacy.Range#11438

datokrat wants to merge 5 commits intomasterleanprover/lean4:masterfrom

paul/ranges/namespace-old-rangesleanprover/lean4:paul/ranges/namespace-old-rangesCopy head branch name to clipboard