]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d2887c) | patch
Notation for congruent.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 9 Jun 2006 13:14:11 +0000 (13:14 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 9 Jun 2006 13:14:11 +0000 (13:14 +0000)
commit4c3688332df4e8a3c690b70923e197b5d7113b5b
tree0c504d0f8159c7894643037c16e046aec3ba805etree | snapshot
parent8d2887c7a3e452302bf976b6303c65c3a7f7961ecommit | diff
Notation for congruent.
Restyling of fermat's little theorem with tynicals.
matita/library/nat/congruence.ma diff | blob | history
matita/library/nat/fermat_little_theorem.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.