perf: lazy delta reduction when checking `t.<idx> =?= s.<idx>` in the kernel
This is the repository for Lean 4.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean.
