Theorem IsOfFinOrder.natCard_powers_le_orderOf

Modification history