Theorem WithZero.exp_lt_exp

Modification history