Theorem: log_log_mono (Ray/Dynamics/Multibrot/Postcritical.lean)

State before:
c : ℂ
d : ℕ
inst✝ : Fact (2 ≤ d)
x y : ℝ
x0 : 1 < x
xy : x ≤ y
⊢ 0 < x
Tactic:
positivity
State after:
no goals