feat: weighted sums of antitone functions, an implicit square-root bound, and quadratic bounds on log (1 + x) - #379

feat: weighted sums of antitone functions, an implicit square-root bound, and quadratic bounds on log (1 + x)#379

lmlexplore-automation[bot] merged 4 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/numerical-lemmas-worker1RemyDegenne/LMLExplore:roadmap/numerical-lemmas-worker1Copy head branch name to clipboard