theorem proved term proof

`omega_threehundredsixty`

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

formal statement (Lean)

 657theorem omega_threehundredsixty : omega 360 = 3 := by native_decide

Term-mode proof.

 658
 659/-- ω(840) = 4 (prime factors are 2, 3, 5, 7). -/