Commit 2026-03-23 08:24 940b0812

feat: more versions of the change of variables formula for monotone functions (#36855) We add versions for monotone and antitone functions modelled on the already existing lemmas, but without any assumption on the test function. This is motivated by an application to a lemma on Chebyshev polynomials, from which we can remove several assumptions. The improved lemmas should be easier to find and to apply than the versions we already have in the library.