Theorem Set.Infinite.exists_nat_lt

Modification history