Theorem WithZero.log_exp

Modification history