Mathlib Changelog
v4
Changelog
About
Github
Theorem
Finset.exists_minimal_le
Modification history
2024-09-23 14:56
Mathlib/Data/Fintype/Order.lean
feat: maximal upper/minimal lower bounds of finset elements (#16970) …
Added
Finset.exists_minimal_le
View on Github →