Theorem Real.abs_sub_sin_le

Modification history

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