lean_workbook_plus_5927
ProvedIf , .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_5927 : 2^2 * 2^2 - 1 = 15 := by sorry
Source
If , .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_5927 : 2^2 * 2^2 - 1 = 15 := by sorry