Theorem WithZero.log_one

Modification history