Theorem zpow_strictMono

Modification history