Theorem: two_le_cast_d (Ray/Dynamics/Multibrot/Basic.lean)

State before:
c : ℂ
d✝ : ℕ
inst✝¹ : Fact (2 ≤ d✝)
d : ℕ
inst✝ : Fact (2 ≤ d)
⊢ 2 ≤ ↑2
Tactic:
norm_num
State after:
no goals