Theorem Order.IsSuccLimit.natCast_lt

Modification history