asymptotics): add `is_bounded_under.is_O_const` (#11367)

Commit

3 years ago

feat(analysis/asymptotics/asymptotics): add `is_bounded_under.is_O_const` (#11367)

Author

urkud

Parents