Theorem IsLUB.mem_of_not_isSuccPrelimit

Modification history