Theorem WithZero.exp_log

Modification history