Theorem zpow_strictMono_left

Modification history