feat(Analysis/Calculus): define absolutely monotone functions#38026

Open

mrdouglasny wants to merge 5 commits intoleanprover-community:masterfrom

mrdouglasny:absolutely-monotone-def

Commits on Apr 14, 2026

feat(Analysis/Calculus): define absolutely monotone functions

mrdouglasny
and
claude
committed
refactor: address review comments

mrdouglasny
and
claude
committed

Commits on Apr 15, 2026

refactor: address j-loreaux review comments

mrdouglasny
and
claude
committed
fix: move widder1941 to correct alphabetical position

mrdouglasny
and
claude
committed

Commits on Apr 19, 2026

style: wrap all lines to ≤100 characters in AbsolutelyMonotone

mrdouglasny
and
claude
committed