Theorem WithZero.log_zero

Modification history