fix: preserve revert argument order#13964

asvitha2000 wants to merge 2 commits into

leanprover:masterleanprover/lean4:masterfrom

asvitha2000:fix-revert-argument-orderasvitha2000/lean4:fix-revert-argument-orderCopy head branch name to clipboard