Theorem Nat.size_bit0

Modification history