Theorem isOfFinOrder_inv_iff

Modification history