Theorem Set.Finite.exists_minimal

Modification history