change of variables by nondecreasing/nonincreasing function#1294

Merged

affeldt-aist merged 16 commits intomath-comp:masterfrom

IshiguroYoshihiro:general_cont_FTC

Oct 8, 2024

Commits on Oct 8, 2024

rebase
affeldt-aist
committed
change of variables (tentative)

affeldt-aist
and
IshiguroYoshihiro
committed
changelog
affeldt-aist
committed
weaken conditions of in/decreasing_cvg_at_right/left_comp

IshiguroYoshihiro
authored and
affeldt-aist
committed
fix changelog
affeldt-aist
committed
weaken hypothesis of integration_by_parts

IshiguroYoshihiro
authored and
affeldt-aist
committed
remove admit

IshiguroYoshihiro
authored and
affeldt-aist
committed
wip clean

IshiguroYoshihiro
authored and
affeldt-aist
committed
generalize in_nearW

IshiguroYoshihiro
authored and
affeldt-aist
committed
cleaning

IshiguroYoshihiro
authored and
affeldt-aist
committed
increasing_change2

IshiguroYoshihiro
authored and
affeldt-aist
committed
cleaning, increasing_change from decreasing_change

IshiguroYoshihiro
authored and
affeldt-aist
committed
prove incr with change_oppr + decr
affeldt-aist
committed
fix changelog
affeldt-aist
committed
fix
affeldt-aist
committed
mv lemmas
affeldt-aist
committed