Theorem injective_zpow_iff_not_isOfFinOrder

Modification history