Theorem Ordinal.self_le_succ_pred

Modification history