Theorem IsOfFinOrder.of_mem_zpowers

Modification history