Lean Setup Reduction In Lean