Theorem Function.Injective.isOfFinOrder_iff

Modification history