Theorem Ordinal.pred_zero

Modification history