Theorem Num.bit1_of_bit1

Modification history