Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-05-06 06:39
ebac9f03
View on Github →
feat(analysis/special_functions/trigonometric): add a lemma (
#13975
) Add a lemma needed for
#13178
Estimated changes
Modified
src/algebra/order/group.lean
added
theorem
apply_abs_le_mul_of_one_le'
added
theorem
apply_abs_le_mul_of_one_le
Modified
src/analysis/special_functions/trigonometric/basic.lean
added
theorem
complex.abs_exp_mul_exp_add_exp_neg_le_of_abs_im_le