Theorem Num.pred_to_nat

Modification history