Theorem Nat.rec_zero

Modification history