Theorem WithZero.log_zpow

Modification history