lean_workbook_plus_71132

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

R1. What is the distance between the points $(6, 0)$ and $(-2, 0)$ ?

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_71132 : dist (6, 0) (-2, 0) = 8   :=  by sorry

Source