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: Dec 20 2023 at 11:08 UTC