Theorem zpow_left_injective

Modification history