Theorem Nat.ofDigits_zmod

Modification history