Theorem IsOfFinOrder.mem_zpowers_iff_mem_range_orderOf

Modification history