Theorem IsOfFinOrder.mem_powers_iff_mem_zpowers

Modification history