Theorem Real.log_zpow

Modification history