Theorem WithZero.lt_exp_of_log_lt

Modification history