Theorem zpow_right_strictAnti

Modification history