fact: Definition print n m s := let lf := Ascii.ascii_of_nat 10 in let nm := n * m in let s1 := (append (print_sep (n + nm).+1) (String lf ""%string)) in String lf (paux nm nm n m s1 s).
imports: mathcomp(all_ssreflect) mathcomp(zify) String