Theorem Set.Infinite.exists_lt

Modification history