Theorem Set.Finite.exists_le_minimal

Modification history