Theorem Nat.bit_decomp

Modification history