Theorem Nat.ofDigits_nil

Modification history