Theorem Real.sin_ge_sub_cube

Modification history

2026-07-07 23:35
Mathlib/Analysis/SpecialFunctions/Trigonometric/Bounds.lean
feat(Analysis): strengthen bounds for sin (#41094) …
Added Real.sin_ge_sub_cubeView on Github →