Theorem Finite.exists_ge_minimal

Modification history

2024-09-23 14:56
Mathlib/Data/Fintype/Order.lean
feat: maximal upper/minimal lower bounds of finset elements (#16970) …
Deleted Finite.exists_ge_minimalView on Github →
2024-08-12 13:06
Mathlib/Data/Fintype/Order.lean
feat(Combinatorics/SimpleGraph/Matching): Add matching free graphs (#15357) …
Added Finite.exists_ge_minimalView on Github →