Theorem IsOfFinOrder.zpow

Modification history