Theorem Nat.bit_false

Modification history