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

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