Commit 2026-07-13 01:22 46931f41
View on Github →feat: function composition preserves boundedness (#33126)
This PR adds the following theorem: if the range of a function g is bounded above, then g ∘ f is bounded above for
all functions f.
feat: function composition preserves boundedness (#33126)
This PR adds the following theorem: if the range of a function g is bounded above, then g ∘ f is bounded above for
all functions f.