Theorem Real.isEquivalent_sin

Modification history

2025-08-23 19:57

Mathlib/Analysis/SpecialFunctions/Trigonometric/Deriv.lean

feat(Trigonometric/Deriv): add `IsEquivalent` lemmas (#28810) …

Added Real.isEquivalent_sin View on Github →