Theorem injective_pow_iff_not_isOfFinOrder

Modification history