Theorem infinite_not_isOfFinOrder

Modification history