Zulip Chat Archive
Stream: Is there code for X?
Topic: unbounded function
Jakub Kądziołka (Mar 07 2022 at 15:08):
is there a better way to state that a function is unbounded than unbounded (\le) (set.range f)?
Last updated: May 02 2025 at 03:31 UTC