Theorem Nat.pred_zero

Modification history