Theorem mem_powers_iff_mem_range_orderOf

Modification history