Lean kernel verification passed: formal/CenteredReductionDelta.lean
