Theorem Set.Finite.exists_maximal_wrt'

Modification history

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