Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-28 09:18 216cbc49

View on Github →

feat(analysis/special_functions/trigonometric): simp attributes for trig values (#4806) simp attributes for the trig values that didn't already have them

Estimated changes

modified theorem real.cos_pi_div_eight
modified theorem real.cos_pi_div_four
modified theorem real.cos_pi_div_six
modified theorem real.cos_pi_div_sixteen
modified theorem real.cos_pi_div_thirty_two
modified theorem real.cos_pi_div_three
modified theorem real.sin_pi_div_eight
modified theorem real.sin_pi_div_four
modified theorem real.sin_pi_div_six
modified theorem real.sin_pi_div_sixteen
modified theorem real.sin_pi_div_thirty_two
modified theorem real.sin_pi_div_three