theorem proved term proof

`omega_fortyfive`

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

formal statement (Lean)

 654theorem omega_fortyfive : omega 45 = 2 := by native_decide

Term-mode proof.

 655
 656/-- ω(360) = 3 (prime factors are 2, 3, 5). -/