Theorem not_isOfFinOrder_of_injective_pow

Modification history