lean_workbook_plus_46985
ProvedFind the prime factorization of .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_46985 : 77 = 7 * 11 := by sorry
Source
Find the prime factorization of .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_46985 : 77 = 7 * 11 := by sorry