Theorem Nat.bodd_bit0

Modification history