analysis
analysis copied to clipboard
Adding essential supremum for extended reals
Co-authored-by: @jmmarulang
Motivation for this change
Addresses issue #1360
Checklist
-
[x] added corresponding entries in
CHANGELOG_UNRELEASED.md -
[x] added corresponding documentation in the headers
Reference: How to document
Reminder to reviewers
- Read this Checklist
- Put a milestone if possible
- Check labels