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_wrtView on Github →