Theorem Nat.ofDigits_append

Modification history