Mathlib v3 is deprecated. Go to Mathlib v4

Theorem real.angle.sin_eq_real_sin_iff_eq_or_add_eq_pi

Modification history

2022-07-27 17:03

src/analysis/special_functions/trigonometric/angle.lean

feat(analysis/special_functions/trigonometric/angle): equality of `cos` or `sin` (#15651) …

Added real.angle.sin_eq_real_sin_iff_eq_or_add_eq_pi View on Github →