Theorem odd_iff_exists_bit1

Modification history