Theorem Nat.binaryRec_zero

Modification history