Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-14 18:25 05aa9607

View on Github →

feat(analysis/special_functions/trigonometric/deriv): compare sinh x with x (#14702)

Estimated changes

deleted theorem real.sinh_injective
added theorem real.cosh_log
added theorem real.sinh_log
added theorem real.cosh_le_cosh
added theorem real.cosh_lt_cosh
added theorem real.one_le_cosh
added theorem real.one_lt_cosh
added theorem real.self_le_sinh_iff
added theorem real.self_lt_sinh_iff
added theorem real.sinh_inj
added theorem real.sinh_injective
added theorem real.sinh_le_self_iff
added theorem real.sinh_le_sinh
added theorem real.sinh_lt_self_iff
added theorem real.sinh_lt_sinh
added theorem real.sinh_neg_iff
added theorem real.sinh_nonneg_iff
added theorem real.sinh_nonpos_iff
added theorem real.sinh_pos_iff
added theorem real.cosh_abs