Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.MonotoneOn_insert_iff
Modification history
2025-06-14 08:57
Mathlib/Data/Set/Monotone.lean
chore: fix capitalization of two lemmas (#25853)
Deleted
Set.MonotoneOn_insert_iff
View on Github →
2024-10-07 17:59
Mathlib/Data/Set/Monotone.lean
feat(Data/Set): monotonicity on insert (#17086)
Added
Set.MonotoneOn_insert_iff
View on Github →