Theorem one_eq_bit1

Modification history