Commit 2023-01-22 14:11 9df54c1b
View on Github →feat(special_functions/trigonometric/bounds): Add the inequality cos x < 1 / sqrt (x ^ 2 + 1) (#18189)
feat(special_functions/trigonometric/bounds): Add the inequality cos x < 1 / sqrt (x ^ 2 + 1) (#18189)