mathlib3
2e3a0a6e - feat(analysis/special_functions/log): add `real.log_sqrt` (#14663)

Commit

3 years ago

feat(analysis/special_functions/log): add `real.log_sqrt` (#14663)

Author

urkud

urkud

Parents

Loading