Theorem Nat.binaryRec_eq

Modification history