Theorem WithZero.lt_log_iff_exp_lt

Modification history