Theorem Order.min_of_le_pred

Modification history