The Coq mailing list

[coqcdp <coqcdpnxj AT 163.com>]

Dear everyone,

                          I want to formalize an algebra text book these days ,but I have a problem when I try  to define "Catesian product".Could you tell

              me how to define Cartesian product of n (n can be any nat) sets?   Thanks.

         Yours Sincerely,

                                    D.P.Chen.