lean_workbook_plus_67612
ProvedWhat is the correct ordering of the three numbers , , and , in increasing order?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_67612 (a b c : ℚ) (h₁ : a = 5 / 19) (h₂ : b = 7 / 21) (h₃ : c = 9 / 23) : a < b ∧ b < c := by sorry
Source