Theorem Order.isPredLimit_of_pred_ne

Modification history