lean_workbook_plus_24239
ProvedFind using Common Core method.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_24239 : 8 + 7 = 15 := by sorry
Source
Find using Common Core method.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_24239 : 8 + 7 = 15 := by sorry