Theorem Set.Finite.exists_maximal

Modification history