OP-00081 Lean verified Monotonic optimal backward error along LSMR NA · backward errors · least-squares problems · LSMR · OpenProblemsInNLA