Theorem Nat.pred_sub

Modification history