mathlib
0053e3c5 - feat(analysis/special_functions/arsinh): add lemmas, review API (#14668)

Commit

3 years ago

feat(analysis/special_functions/arsinh): add lemmas, review API (#14668)

Author

urkud

urkud

Parents

Loading