mathlib
c50a60de - feat(analysis/convex/specific_functions): sin is strictly concave (#11688)

Commit

3 years ago

feat(analysis/convex/specific_functions): sin is strictly concave (#11688)

Author

b-mehta

b-mehta

Parents

Loading