Theorem: Complex.cos_eq_cos (Ray/Hartogs/FubiniBall.lean)

State before:
t : ℝ
⊢ (↑t).cos = ↑t.cos
Tactic:
simp
State after:
no goals