Commit 2021-10-05 10:10 e7ea02fd
View on Github →feat(analysis/convex/basic): Levels of a monotone/antitone function (#9547) The set of points whose image under a monotone function is less than a fixed value is convex, when the space is linear.
feat(analysis/convex/basic): Levels of a monotone/antitone function (#9547) The set of points whose image under a monotone function is less than a fixed value is convex, when the space is linear.