]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e764936) | patch
Several changes. Proof of Fermat's little theorem completed.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 3 Oct 2005 08:13:33 +0000 (08:13 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 3 Oct 2005 08:13:33 +0000 (08:13 +0000)
commitfcc4e47ab6406a9a666471e017b81cf364195866
tree97aa1313c40a90632c56fc9e241307f2cec633e5tree | snapshot
parente764936e17ab96ddb6f6549bb65cc419e4e4ccaccommit | diff
Several changes. Proof of Fermat's little theorem completed.
helm/matita/library/nat/div_and_mod.ma diff | blob | history
helm/matita/library/nat/fermat_little_theorem.ma diff | blob | history
helm/matita/library/nat/minus.ma diff | blob | history
helm/matita/library/nat/permutation.ma diff | blob | history
helm/matita/library/nat/primes.ma diff | blob | history
helm/matita/library/nat/relevant_equations.ma diff | blob | history
helm/matita/library/nat/sigma_and_pi.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.