Theorem Set.Infinite.exists_gt

Modification history