mathlib3
1c8f995c - feat(analysis/special_functions/exp): add `real.exp_half` (#14729)

Commit

3 years ago

feat(analysis/special_functions/exp): add `real.exp_half` (#14729)

Author

urkud

urkud

Parents

Loading