Theorem Set.Finite.exists_minimal_wrt'

Modification history

2023-08-03 16:32
Mathlib/Data/Set/Finite.lean
feat: Finite maximality/minimality (#6337) …
Added Set.Finite.exists_minimal_wrt'View on Github →