Mathlib v3 is deprecated. Go to Mathlib v4

Theorem real.sin_gt_sub_cube

Modification history

2022-03-03 19:27
src/analysis/special_functions/trigonometric/basic.lean
feat(analysis/special_functions/trigonometric): inequality `tan x > x` (#12352)
Modified real.sin_gt_sub_cubeView on Github →
2019-11-30 16:23
src/analysis/complex/exponential.lean
feat(analysis/complex/exponential): limits of exp (#1744) …
Modified real.sin_gt_sub_cubeView on Github →
2019-04-01 03:01
src/analysis/exponential.lean
feat(data/real/pi): Compute the first three digits of pi (#822)
Added real.sin_gt_sub_cubeView on Github →