Mathlib v3 is deprecated. Go to Mathlib v4

Theorem real.tendsto_euler_sin_prod

Modification history

2023-02-01 07:41

src/analysis/special_functions/trigonometric/euler_sine_prod.lean

feat(analysis/special_functions/trigonometric): Euler's infinite product for sine (part b) (#18281)

Added real.tendsto_euler_sin_prod View on Github →