Theorem Ordinal.pred_le_self

Modification history