Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.Finite.exists_le_maximal
Modification history
2025-05-14 10:52
Mathlib/Data/Fintype/Order.lean
refactor: spell results using `Minimal`/`MinimalFor` (#23487) …
Modified
Set.Finite.exists_le_maximal
View on Github →
2024-09-23 14:56
Mathlib/Data/Fintype/Order.lean
feat: maximal upper/minimal lower bounds of finset elements (#16970) …
Added
Set.Finite.exists_le_maximal
View on Github →