theorem proved term proof

`triple_joint`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

  69theorem triple_joint : (125 : ℕ) * 125 * 125 = 1953125 := by decide

Term-mode proof.

  70
  71/-- Sanity: 5⁹ = 1953125 < 2²¹ ≈ 2.1 million. -/