Theorem WithZero.lt_log_of_exp_lt

Modification history