Theorem mem_zpowers_iff_mem_range_orderOf

Modification history