]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd12cbe) | patch
Ported permutation.ma and fermat_little_theorem.ma
authorAndrea Asperti <andrea.asperti@unibo.it>
Sat, 5 Jan 2013 16:22:16 +0000 (16:22 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Sat, 5 Jan 2013 16:22:16 +0000 (16:22 +0000)
commitf14ac9cceaaa7f1905f0dbc4548d24c4abe940e3
tree02b750c2e1fd9faac5690eb29640879b9ea5ffbftree | snapshot
parentfd12cbee622c58bc45089d62c3e6f131c238beb5commit | diff
Ported permutation.ma and fermat_little_theorem.ma
matita/matita/lib/arithmetics/congruence.ma diff | blob | history
matita/matita/lib/arithmetics/fermat_little_theorem.ma [new file with mode: 0644] blob
matita/matita/lib/arithmetics/permutation.ma [new file with mode: 0644] blob
matita/matita/lib/arithmetics/sigma_pi.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.