Theorem Order.pred_injective

Modification history