Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-31 19:25 d0a8cc4b

View on Github →

feat(analysis/special_functions/trigonometric): ranges of real.sin and real.cos (#3998)

Estimated changes

added theorem real.exists_cos_eq
added theorem real.range_cos
added theorem real.range_sin