add monotonicity for nonnegative lebesgue integrals w.r.t. measures [replaces PR #1669]#1670

affeldt-aist merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:screenl_masteraffeldt-aist/analysis:screenl_masterCopy head branch name to clipboard