Theorem Nat.digits_zero

Modification history