Theorem Nat.bodd_eq_bits_head

Modification history