Mathlib Changelog
v4
Changelog
About
Github
Theorem
monovary_iff_exists_antitone
Modification history
2024-12-20 12:30
Mathlib/Order/Monotone/MonovaryOrder.lean
feat: monovarying functions are simultaneously monotone (#20047) …
Added
monovary_iff_exists_antitone
View on Github →