mathlib3
f089486a - feat(analysis/special_functions/trigonometric): add `real.abs_sinh` (#16211)

Commit

3 years ago

feat(analysis/special_functions/trigonometric): add `real.abs_sinh` (#16211)

Author

urkud

urkud

Parents

Loading