Theorem Nat.binary_rec_zero

Modification history