fact: Definition three_digit (n : nat) : string := let n0 := unit_digit n in let n1 := unit_digit (n / 10) in let n2 := unit_digit (n / 100) in from_list [n2; n1; n0].
imports: Coq(Ascii Basics Decimal List String ZArith)