Theorem Nat.bit1_div_two

Modification history