Merge master into sarray-capacity-overflow Master split the copy into exclusive and nonlinear cases. The overflow clamp applies to both, so it is hoisted above the split and its result fed to each.
This is the repository for Lean 4.
See Install Lean.
Please read our Contribution Guidelines first.
See Building Lean.