Theorem bit0_lt_bit0

Modification history