Theorem Nat.bitwise_eq_binaryRec

Modification history