Theorem WithZero.log_pow

Modification history